On Verification of Parallel Message-Passing ProcessesAuthorsS. Krogdahl and O. LysneStatusPublishedPublication typeJournal ArticleYear of publication2002JournalFormal Aspects of ComputingPublisherSpringerCitation key10792Google Scholar BibTex