A calculus of mobile processes, part I/II (1992)

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