D.: A Calculus of Mobile (1992)

by R Milner, J Parrow, Walker
Venue:Processes, Part I+II. Journal of Information and Computation