A symbolic semantics for the π-calculus (1996)

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