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.