The polyadic π-calculus: A tutorial. In (1993)

by R Milner
Venue:Logic and Algebra of Specification,