A Calculus of Mobile Processes Pt.2

R. Milner, J. Parrow and D Walker

Abstract: This is the second of two papers in which we present the pi-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.


This report was published in Information and Computation 100(1) pp.41-77, Sept 1992.

Previous | Index | Next