Communicating and Mobile Systems: the !-Calculus. Cambridge U (1999)

by R Milner