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.

Keywords

Membrane System Operational Semantic Structural Induction Translation Function Brane System 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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