Communicating and mobile systems: the -calculus (1999)

by Robin Milner