A Calculus of Mobile Processes (1992)

by R Milner, J Parrow, D Walker
Venue:Part I + II. Information and Computation