A calculus of mobile processes, parts (1992)

by Robin Milner, Joachim Parrow, David Walker
Venue:I and II. Information and Computation