Networks of language processors
Current trends in theoretical computer science
Handbook of Formal Languages
Membrane Computing: An Introduction
Membrane Computing: An Introduction
The power of communication: P systems with symport/antiport
New Generation Computing
Computing with Membranes
Tissue P systems with channel states
Theoretical Computer Science - Insightful theory
A rewriting logic framework for operational semantics of membrane systems
Theoretical Computer Science
P systems with minimal parallelism
Theoretical Computer Science
Computational power of symport/antiport: history, advances, and open problems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Compositional semantics and behavioral equivalences for P Systems
Theoretical Computer Science
A P Systems Flat Form Preserving Step-by-step Behaviour
Fundamenta Informaticae
A P-Lingua Programming Environment for Membrane Computing
Membrane Computing
Flattening the transition P systems with dissolution
CMC'10 Proceedings of the 11th international conference on Membrane computing
The family of languages generated by non-cooperative membrane systems
CMC'10 Proceedings of the 11th international conference on Membrane computing
(Tissue) P systems working in the k-restricted minimally or maximally parallel transition mode
Natural Computing: an international journal
Asynchronous P systems with active membranes
Theoretical Computer Science
Transition and halting modes in (tissue) p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
(Tissue) p systems with hybrid transition modes
WMC'09 Proceedings of the 10th international conference on Membrane Computing
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Look-Ahead evolution for p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Properties of membrane systems
CMC'11 Proceedings of the 12th international conference on Membrane Computing
Quantitative causality in membrane systems
CMC'11 Proceedings of the 12th international conference on Membrane Computing
P systems with active membranes operating under minimal parallelism
CMC'11 Proceedings of the 12th international conference on Membrane Computing
Computing with multi-membranes
CMC'11 Proceedings of the 12th international conference on Membrane Computing
Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions
Fundamenta Informaticae - Machines, Computations and Universality, Part I
A P Systems Flat Form Preserving Step-by-step Behaviour
Fundamenta Informaticae
Polarizationless P systems with active membranes working in the minimally parallel mode
UC'07 Proceedings of the 6th international conference on Unconventional Computation
(Tissue) p systems with decaying objects
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Fast hardware implementations of p systems
CMC'12 Proceedings of the 13th international conference on Membrane Computing
| Hi-index | 0.00 |
The formalism of P systems is known for many years, yet just recently new derivation modes and halting conditions have been proposed. For developing comparable results, a formal description of their functioning, in particular, of the derivation step is necessary. We introduce a formal general framework for static membrane systems that aims to capture most of the essential features of (tissue) P systems and to define their functioning in a formal way.