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

by R Milner