The polyadic pi-calculus: A tutorial (1991)

by Robin Milner
Venue:In Logic and Algebra of Specification, Proceedings of the International NATO Summer School