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.
KeywordsMembrane System Operational Semantic Structural Induction Translation Function Brane System
Unable to display preview. Download preview PDF.