Browse by author
Lookup NU author(s): Dr Victor Khomenko
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
We develop a polynomial translation from finite control processes (an important fragment of pi-calculus) to safe low-level Petri nets. To our knowledge, this is the first such translation. It is natural (there is a close correspondence between the control flow of the original specification and the resulting Petri net), enjoys a bisimulation result, and it is suitable for practical model checking.
Author(s): Meyer R, Khomenko V, Hüchting R
Editor(s): Koutny, M., Ulidowski, I.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 23rd International Conference on Concurrency Theory (CONCUR'2012)
Year of Conference: 2012
ISSN: 0302-9743 (print) 1611-3349 (online)
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science