Communicating and Mobile Systems: the Pi-Calculus (1999)

by R Milner