• People
• Events
• Research

A Calculus of Mobile Processes Pt.2

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.