## 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.

*ECS-LFCS-89-86*

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

Previous |

Index |

Next