A calculus of mobile processes: part 1. Research report ECSLFCS-89-85 (1989)

by R Milner, J Parrow, D Walker