A Petri Net Semantics for pi-Calculus.

Nadia Busi, Roberto Gorrieri

Browse the full CONCUR paper archive.