A Calculus of Mobile (1992)

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