A Model and Proof Technique for Message-Based Systems

TitleA Model and Proof Technique for Message-Based Systems
Publication TypeJournal Article
Year of Publication1980
AuthorsFeldman, J., & Nigam A..
Volume9
Issue4
Page(s)768-784
Other Numbers1874
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