Home
 

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