D.: A calculus of mobile processes, (1992)

by R Milner, J Parrow, Walker
Venue:i. Inf. Comput.