Mobility in Process Calculi
- 369 Downloads
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.
KeywordsOperational Semantic Channel Type Reduction Rule Typing Rule Type Environment
Unable to display preview. Download preview PDF.
- 121.R. Milner. Communicating and Mobile Systems: The π-calculus. Cambridge University Press, 1999. Google Scholar