A Calculus for Local Reversibility

DOI10.1007/978-3-319-40578-0_2zbMath1476.68175OpenAlexW2414789439MaRDI QIDQ3186582

Irek Ulidowski, Stefan Kühn

Publication date: 10 August 2016

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

Full work available at URL: https://figshare.com/articles/conference_contribution/A_calculus_for_local_reversibility/10155188

zbMATH Keywords

local reversibilitymodelling of chemical reactionsreversible process calculi

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Classical flows, reactions, etc. in chemistry (92E20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Reversibility in session-based concurrency: a fresh look, From reversible programming languages to reversible metalanguages, Modelling of DNA mismatch repair with a reversible process calculus, Reversible computation in nets with bonds, A collective interpretation semantics for reversing Petri nets, Reversibility and Predictions, Static versus dynamic reversibility in CCS, Unnamed Item, A Petri net view of covalent bonds

Cites Work

• A calculus of communicating systems
• Formal molecular biology
• Reversing algebraic process calculi
• Towards Modelling of Local Reversibility
• 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
• Controlled Reversibility and Compensations
• Reversing Higher-Order Pi
• Process Algebra
• A Compositional Semantics for the Reversible p-Calculus
• CONCUR 2004 - Concurrency Theory
• Foundations of Software Science and Computation Structures