Communicating and mobile systems - the Pi-calculus (1999)

by R Milner