Controlled reversibility in communicating reaction systems

DOI10.1016/J.TCS.2022.05.030OpenAlexW4281608874MaRDI QIDQ2152435

György Vaszil, Attila Bagossy

Publication date: 8 July 2022

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2022.05.030

zbMATH Keywords

reaction systemsreversible computingnetworks of reaction systems

Mathematics Subject Classification ID

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

Related Items (1)

An axiomatic theory for reversible computation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Causal-consistent rollback in a tuple-based language
• Reversible computation in term rewriting
• Theory of reversible computing
• Reversible nondeterministic finite automata
• Controlled reversibility in reaction systems
• Model checking temporal properties of reaction systems
• A theory of reversibility for Erlang
• Mutual exclusion and reversibility in reaction systems
• Simulating reversible computation with reaction systems
• Transition graphs of reversible reaction systems
• Communicating reaction systems with direct communication
• An axiomatic approach to reversible computation
• Reversibility and Models for Concurrency
• A TOUR OF REACTION SYSTEMS
• Controlling Reversibility in Higher-Order Pi
• Irreversibility and Heat Generation in the Computing Process
• Networks of Reaction Systems
• A Compositional Semantics for the Reversible p-Calculus
• CONCUR 2004 - Concurrency Theory
• Logical Reversibility of Computation

This page was built for publication: Controlled reversibility in communicating reaction systems