| 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 |
By thinking constantly about it…