Abstract
The difference between the two research areas (process algebra and membrane computing) is the fact that process algebra represents a tool for the high-level description of interactions, communications, and synchronizations between a collection of independent agents or processes, providing also algebraic laws that allow process descriptions to be manipulated and analyzed, and permit formal reasoning about equivalences between processes (e.g., using bisimulation), while membrane computing uses techniques from languages, automata, complexity, and dynamical systems. In this chapter we establish several links between these two fields in order to be able to use techniques from one area in the other one. We consider our encodings as the first efforts towards bridging the gap between process calculi and mobile membranes.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Aman, B., Ciobanu, G. (2011). Encodings. In: Mobility in Process Calculi and Natural Computing. Natural Computing Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24867-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-24867-2_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24866-5
Online ISBN: 978-3-642-24867-2
eBook Packages: Computer ScienceComputer Science (R0)