AuthorsS. Krogdahl and O. Lysne
TitleOn Verification of Parallel Message-Passing Processes
Afilliation, Communication Systems, Communication Systems
StatusPublished
Publication TypeJournal Article
Year of Publication2002
JournalFormal Aspects of Computing
Volume13
Number6
Pagination471-492
PublisherSpringer
Citation KeyND.4.Krogdahl.2002