A calculus of mobile processes. Rep. ECS-LFCS-89-85 and -86 (1989)

by R Milner, J Parrow, D Walker