A Model and Proof Technique for Message-Based Systems
Title | A Model and Proof Technique for Message-Based Systems |
Publication Type | Journal Article |
Year of Publication | 1980 |
Authors | Feldman, J., & Nigam A.. |
Volume | 9 |
Issue | 4 |
Page(s) | 768-784 |
Other Numbers | 1874 |
Bibliographic Notes | SIAM Journal on Computing, Vol. 9, Issue 4, pp. 768-784 |
Abbreviated Authors | J.A. Feldman and A. Nigam |
ICSI Research Group | AI |
ICSI Publication Type | None |