A Polynomial Translation of pi-Calculus (FCP) to Safe Petri Nets
- Lookup NU author(s)
- Dr Victor Khomenko
|
|
|
|
| Author(s) | | Meyer R, Khomenko V, Huchting R |
| Publication type | | Report |
| Series Title | | School of Computing Science Technical Report Series |
| Year | | 2012 |
| Date | | May 2012 |
| Report Number | | 1323 |
| Pages | | 35 |
|
|
|
| Full text is available for this publication: |
|
|
|
|
| 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 closecorrespondence between the control flow of the original specification and the resulting Petri net), enjoys abisimulation result, and is suitable for practical model checking. |
|
|
|
| Institution | | School of Computing Science, University of Newcastle upon Tyne |
| Place Published | | Newcastle upon Tyne |
| Actions | |  |
