On the Relationship between π-Calculus and Finite Place/Transition Petri Nets.

Roland Meyer, Roberto Gorrieri

Browse the full CONCUR paper archive.