The Polyadic π-Calculus: a Tutorial

Authors: Robin Milner - Logic and Algebra of Specification 1993 cited by 760