Communicating and Mobile Systems: the PiCalculus (1999)

by R Milner