Towards Modelling of Local Reversibility

DOI10.1007/978-3-319-20860-2_19zbMath1464.68113OpenAlexW2128435029MaRDI QIDQ2822522

Stefan Kühn, Irek Ulidowski

Publication date: 30 September 2016

Published in: Reversible Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-20860-2_19

zbMATH Keywords

local reversibilitymodelling of chemical reactionsout-of-causal order reversibilityreversible process calculi

Mathematics Subject Classification ID

Classical flows, reactions, etc. in chemistry (92E20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Other nonclassical models of computation (68Q09)

Related Items

A Calculus for Local Reversibility, Causal-consistent rollback in a tuple-based language, Static versus dynamic reversibility in CCS

Cites Work

• Unnamed Item
• Unnamed Item
• Formal molecular biology
• Reversing algebraic process calculi
• Reversibility and Asymmetric Conflict in Event Structures
• Modelling of Bonding with Processes and Events
• Controlling Reversibility in Higher-Order Pi
• Concurrency and Reversibility
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Reversing Higher-Order Pi
• A Compositional Semantics for the Reversible p-Calculus
• CONCUR 2004 - Concurrency Theory
• Concurrent Flexible Reversibility
• Foundations of Software Science and Computation Structures