Communicating and mobile systems: the pi-calculus (1999)

by R Milner