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 [16]. It was followed by ambient calculus [6]. A biologically-inspired version of ambient calculus is given by bioambients [19] and several brane calculi [5]. On the other hand, systems of mobile membranes [13] represent other formalisms with mobility in the framework of membrane computing. © 2010 Springer-Verlag.
CITATION STYLE
Ciobanu, G. (2010). Mobility in computer science and in membrane systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6501 LNCS, pp. 7–17). Springer Verlag. https://doi.org/10.1007/978-3-642-18123-8_3
Mendeley helps you to discover research relevant for your work.