On Petri Net semantics for Process Calculi

Roberto Gorrieri. On Petri Net semantics for Process Calculi. In Alessandra Cherubini, Mario Coppo, Giuseppe Persiano, editors, Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings. pages 3, 2009.

Abstract

Abstract is missing.