pith. sign in

arxiv: 1309.0717 · v2 · pith:PRBLT23Rnew · submitted 2013-09-03 · 💻 cs.LO

A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets

Victor Khomenko (School of Computing Science , Newcastle University) , Roland Meyer (Department of Computer Science , University of Kaiserslautern) , Reiner H\"uchting (Department of Computer Science This is my paper
classification 💻 cs.LO
keywords translationcontrolnetspetripi-calculuspolynomialsafebisimulation
0
0 comments X
read the original abstract

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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.