Membrane Computing 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers

This book constitutes the thoroughly refereed extended postproceedings of the 5th International Workshop on Membrane Computing, WMC 2004, held in Milan, Italy in June 2004.
The 20 revised full papers presented together with 6 invited papers went through two rounds of reviewing and improvement. All current topics in the area of membrane computing are addressed, ranging from mathematics and theoretical computer science to applications in biology, linguistics, and computer graphics. Issues related to computational power and complexity classes, new classes of P systems, fuzzy approaches, and reversibility and energy consumption are dealt with as well.

Invited Lectures.- ?P Systems and Typed ?-Calculus.- P Automata.- Asynchronous P Systems and P Systems Working in the Sequential Mode.- Evolution and Oscillation in P Systems: Applications to Biological Phenomena.- An Approach to Computational Complexity in Membrane Computing.- LMNtal: A Language Model with Links and Membranes.- Regular Presentations.- Executable Specifications of P Systems.- On the Efficiency of P Systems with Active Membranes and Two Polarizations.- Communicative P Systems with Minimal Cooperation.- Ultimately Confluent Rewriting Systems. Parallel Multiset–Rewriting with Permitting or Forbidding Contexts.- Unstable P Systems: Applications to Linguistics.- A P System Description of the Sodium-Potassium Pump.- Inhibiting/De-inhibiting Rules in P Systems.- Time–Independent P Systems.- On Two-Dimensional Mesh Networks and Their Simulation with P Systems.- Exploring Computation Trees Associated with P Systems.- Approximating Non-discrete P Systems.- Reducing the Size of Extended Gemmating P Systems.- P Systems Generating Trees.- On Descriptive Complexity of P Systems.- P Systems with Symport/Antiport: The Traces of RBCs.- Conservative Computations in Energy–Based P Systems.- General Multi-fuzzy Sets and Fuzzy Membrane Systems.- Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes.- Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems.- On the Size of P Systems with Minimal Symport/Antiport.