Petri Net Semantics of the Finite pi-Calculus.

Raymond Devillers, Hanna Klaudel, Maciej Koutny

Browse the full FORTE paper archive.