Robin Milner, Joachim Parrow, David Walker
Information and Computation 100(1), pages 41-77
1992
This is the second of two papers in which we present the π-calculus, a calculus of mobile processes. We provide a detailed presentation of some of the theory of the calculus developed to date, and in particular we establish most of the results stated in the companion paper.
