Communicating and Mobile Systems The Pi-Calculus

(Author: Robin Milner)