An Introduction to the π-Calculus (2001)

by J Parrow
Venue:In P. Bergstra and Smolka, eds, Handbook of Process Algebra