Reversibility and Predictions

DOI10.1007/978-3-030-79837-6_10OpenAlexW3174846791MaRDI QIDQ5162608

Martin Vassor

Publication date: 3 November 2021

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

Full work available at URL: https://doi.org/10.1007/978-3-030-79837-6_10

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)

Related Items

Towards a taxonomy for reversible computation approaches

Cites Work

• A calculus of communicating systems
• The chemical abstract machine
• On reversibility and broadcast
• Reversible computation in Petri nets
• Checkpoint/rollback vs causally-consistent reversibility
• Controlling Reversibility in Higher-Order Pi
• Introduction to Bisimulation and Coinduction
• A Calculus for Local Reversibility
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Reversing Higher-Order Pi
• Concurrent Flexible Reversibility