Authors | S. Krogdahl and O. Lysne |
Title | On Verification of Parallel Message-Passing Processes |
Afilliation | , Communication Systems, Communication Systems |
Status | Published |
Publication Type | Journal Article |
Year of Publication | 2002 |
Journal | Formal Aspects of Computing |
Volume | 13 |
Number | 6 |
Pagination | 471-492 |
Publisher | Springer |
Citation Key | ND.4.Krogdahl.2002 |