A Calculus of Mobile Processes part 1 (1992)

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