A polynomial translation of pi-Calculus (FCP) to safe petri nets /
Meyer, Roland.
Khomenko, Victor.
Hüchting, Reiner.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle-upon-Tyne : Computing Science, Newcastle University,
c2012.
"April, 2012."
Caption title.