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

by Robin Milner