Reading material
Robin Milner, Joachim Parrow and David Walker.
A Calculus of Mobile Processes, Part I
. Report ECS-LFCS-89-85, University of Edinburgh. 1989.