Khomenko, Victor and Meyer, Roland and Hüchting, Reiner - A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets

lmcs:932 - Logical Methods in Computer Science, September 17, 2013, Volume 9, Issue 3
A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets

Authors: Khomenko, Victor and Meyer, Roland and Hüchting, Reiner

We develop a polynomial translation from finite control pi-calculus processes to safe low-level Petri nets. To our knowledge, this is the first such translation. It is natural in that there is a close correspondence between the control flows, enjoys a bisimulation result, and is suitable for practical model checking.


Source : oai:arXiv.org:1309.0717
DOI : 10.2168/LMCS-9(3:18)2013
Volume: Volume 9, Issue 3
Published on: September 17, 2013
Submitted on: January 15, 2013
Keywords: Computer Science - Logic in Computer Science


Share

Consultation statistics

This page has been seen 59 times.
This article's PDF has been downloaded 79 times.