A Calculus of Mobile Processes, Part II (1989)

by Robin Milner, Joachim Parrow, David Walker