Communicating and Mobile Systems: The pi-calculus. CUP (1999)

by R Milner