Communicating and Mobile Systems: the ss-calculus (1999)

by R Milner