Abstract

In this paper we provide two new formalisations of the finite fragment of the pi-calculus, defined in a way which exhibits the global state and the execution context of a process without needing to rely heavily on term rewriting techniques. In doing so, we aim at a calculus which would be amenable to a straightforward compositional translation into automata-based models such as Petri nets.

Keywords

process algebra, pi-calculus, mobility