A calculus of mobile processes, i (1992)

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