Mobility in Process Calculi

Abstract

Mathematical models are useful in different fields to provide a deeper and more insightful understanding of various systems and notions. We refer here to the formal description of mobility in computer science (Ciobanu, 2010). The first formalism in computer science able to describe mobility is the π-calculus (Milner, 1999). It was followed by ambient calculus (Cardelli, Gordon, 2000). A biologically-inspired version of ambient calculus is given by bioambients (Regev, Panina, Silverman, Cardelli, Shapiro, 2004) and several brane calculi (Cardelli, 2004).

When expressing mobility, we should mention what entities move and in what space they move. There are several possibilities: processes moving in a physical space of computing locations, processes moving in a virtual space of linked processes, links moving in a virtual space of linked processes, etc.