A Calculus of Mobile Processes (1992)

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