A symbolic semantics for the π-calculus (1996)

by M Boreale, R D Nicola
Venue:Information and Computation