TY  - RPRT
TI  - A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets
AU  - Victor Khomenko
AU  - Roland Meyer
AU  - Reiner Hüchting
PY  - 2013
DO  - 10.2168/lmcs-9(3:18)2013
UR  - https://arxiv.org/abs/1309.0717
ID  - 1309.0717
ER  -