Mobility in Computer Science and in Membrane Systems
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. The first formalism in computer science able to describe mobility is the π-calculus . It was followed by ambient calculus . A biologically-inspired version of ambient calculus is given by bioambients  and several brane calculi . On the other hand, systems of mobile membranes  represent other formalisms with mobility in the framework of membrane computing.
KeywordsMembrane System Parallel Composition Reduction Rule Membrane Computing Process Calculus
Unable to display preview. Download preview PDF.
- 7.Ciobanu, G., Krishna, S.N.: Enhanced Mobile Membranes: Computability Results. Theory of Computing Systems (to appear, 2011)Google Scholar
- 20.Regev, A., Shapiro, E.: The π-calculus as an Abstraction for Biomolecular Systems. In: Ciobanu, G., Rozenberg, G. (eds.) Modelling in Molecular Biology. Natural Computing Series. Springer, Heidelberg (2004)Google Scholar