Membrane Computing

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Membrane Computing, WMC-CdeA 2002, held in Curtea de Arges, Romania, in August 2002. The 29 revised full papers presented were carefully selected during two rounds of reviewing and revision; some were especially solicited for inclusion in the book after the workshop. Most papers address membrane systems and membrane computing from the point of view of theoretical computer science; some papers solve open problems and present new approaches, and others provide mathematical and biological background. All in all, the book presents the state of the art in membrane computing.

Inhalt

Molecular Biology of Bacteria and Its Relevance for P Systems.- A Software Simulation of Transition P Systems in Haskell.- Authentication of Messages Using P Systems.- Eilenberg P Systems.- A MzScheme Implementation of Transition P Systems.- Preliminaries about Some Possible Applications of P Systems in Linguistics.- An Application of Dynamic P Systems: Generating Context-Free Languages.- P Systems with Boundary Rules.- Parallel Rewriting P Systems without Target Conflicts.- Evolution-Communication P Systems.- Dynamic P Systems.- Membrane Systems and Distributed Computing.- Client-Server P Systems in Modeling Molecular Interaction.- P Automata or Purely Communicating Accepting P Systems.- Self-activating P Systems.- Energy-Controlled P Systems.- P Systems with Activated/Prohibited Membrane Channels.- Membrane Systems with Symport/Antiport Rules: Universality Results.- Simulating Counter Automata by P Systems with Symport/Antiport.- Towards a Hierarchy of Conformons - P Systems.- Accretive Rules in Cayley P Systems.- Tissue P Systems with Contextual and Rewriting Rules.- Considerations on a Multiset Model for Membrane Computing.- A Survey of Some Variants of P Systems.- Bridging P Systems and Genomics: A Preliminary Approach.- Probabilistic P Systems.- Decision P Systems and the P?NP Conjecture.- P Systems without Priorities Are Computationally Universal.- The Architecture of Living Structures -A Possible Basis for Molecular Computing.