Context-Based Process Algebras for Mobility

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.