Abstract

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. 4 Introduction This is the second of two papers in which we present the -calculus, a calculus of mobile processes. The companion paper [2] contains an introduction to the calculus through a sequence of examples, together with statements of many results about it. The purpose of the present paper is to provide a detailed presentation of some of the theory of the calculus developed to date, and in particular to establish most of the results stated in the companion paper. Once the motivation and intuition for the -calculus are understood, with the help of [2], the present paper serves as a self-contained development of the theory. To achieve this we have found it necessary to repeat some material from the companion p...

Citations