R.: A Petri net semantics for π-calculus (1995)

by N Busi, Gorrieri
Venue:In: CONCUR. Volume 962 of Lecture Notes in Computer Science