Reversing computation in membrane systems

DOI10.1016/j.jlap.2010.03.003zbMath1208.68121OpenAlexW2053012600WikidataQ57936855 ScholiaQ57936855MaRDI QIDQ974138

Oana Agrigoroaiei, Gabriel Ciobanu

Publication date: 27 May 2010

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2010.03.003

zbMATH Keywords

operational semanticsconfigurationdissolutionmembrane systemscommunication rulesreverse evolutionreverse P systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Related Items (6)

Quantitative Causality in Membrane Systems ⋮ A model learning based testing approach for spiking neural P systems ⋮ Simulating reversible computation with reaction systems ⋮ Memory associated with membranes systems ⋮ Spiking neural P systems: matrix representation and formal verification ⋮ RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS

Cites Work

• Unnamed Item
• A rewriting logic framework for operational semantics of membrane systems
• Reversible computing and cellular automata -- a survey
• Membrane computing. An introduction.
• Predecessor existence problems for finite discrete dynamical systems
• Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors
• Dual P Systems
• A Formal Framework for Static (Tissue) P Systems
• On Reversibility and Determinism in P Systems
• Searching Previous Configurations in Membrane Computing

This page was built for publication: Reversing computation in membrane systems