Simulating reversible computation with reaction systems

DOI10.1007/S41965-020-00049-9zbMATH Open1469.68022OpenAlexW3086028685MaRDI QIDQ1982972FDOQ1982972

György Vaszil, Attila Bagossy

Publication date: 14 September 2021

Published in: Journal of Membrane Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s41965-020-00049-9

Recommendations

• Controlled reversibility in reaction systems
• Reaction systems
• The many roads to the simulation of reaction systems
• Reaction systems made simple. A normal form and a classification theorem
• Reaction systems: a model of computation inspired by the functioning of the living cell

zbMATH Keywords

natural computingreaction systemsreversible computing

Mathematics Subject Classification ID

Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Cites Work

• Computing with membranes
• Title not available (Why is that?)
• Model checking temporal properties of reaction systems
• A tour of reaction systems
• Handbook of Natural Computing
• Reaction systems
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Irreversibility and Heat Generation in the Computing Process
• CONCUR 2004 - Concurrency Theory
• Logical Reversibility of Computation
• CONCUR 2005 – Concurrency Theory
• On reversible Turing machines and their function universality
• ON STRONG REVERSIBILITY IN P SYSTEMS AND RELATED PROBLEMS
• Theory of reversible computing
• Controlled Reversibility and Compensations
• Title not available (Why is that?)
• Reversing steps in membrane systems computations
• Dual P Systems
• Reversing computation in membrane systems
• Reversible nondeterministic finite automata
• Sequential and maximally parallel multiset rewriting: reversibility and determinism
• Controlled reversibility in reaction systems
• Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9--10, 2020. Proceedings

Cited In (6)

• From networks of reaction systems to communicating reaction systems and back
• Computational complexity of reversible reaction systems
• Controlled reversibility in communicating reaction systems
• About reversibility in sP colonies and reaction systems
• Transition graphs of reversible reaction systems
• Reaction Systems: A Model of Computation Inspired by Biochemistry

This page was built for publication: Simulating reversible computation with reaction systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1982972)