A calculus for mobile processes (1992)

by R Milner, J Parrow, D Walker
Venue:part I and II, Information and Computation