Mobility in Process Calculi

  • Bogdan Aman
  • Gabriel CiobanuEmail author
Part of the Natural Computing Series book series (NCS)


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.


Operational Semantic Channel Type Reduction Rule Typing Rule Type Environment 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 40.
    L. Cardelli. Brane Calculi. Interactions of Biological Membranes. Lecture Notes in Bioinformatics, vol.3082, 257–278, 2004. MathSciNetGoogle Scholar
  2. 42.
    L. Cardelli, A. Gordon. Mobile Ambients. Theoretical Computer Science, vol.240(1), 177–213, 2000. MathSciNetzbMATHCrossRefGoogle Scholar
  3. 52.
    G. Ciobanu. Mobility in Computer Science and in Membrane Systems. Lecture Notes in Computer Science, vol.6501, 7–17, 2010. CrossRefGoogle Scholar
  4. 121.
    R. Milner. Communicating and Mobile Systems: The π-calculus. Cambridge University Press, 1999. Google Scholar
  5. 138.
    A. Regev, E. M. Panina, W. Silverman, L. Cardelli, E. Shapiro. BioAmbients: An Abstraction for Biological Compartments. Theoretical Computer Science, vol.325, 141–167, 2004. MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  1. 1.Institute of Computer ScienceRomanian AcademyIaşiRomania
  2. 2.Alexandru Ioan Cuza UniversityIaşiRomania

Personalised recommendations