A calculus of mobile processes, parts (1992)

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