Reversibility and Predictions

DOI10.1007/978-3-030-79837-6_10MaRDI QIDQ5162608zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

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

Cited in

(6)

• Why it is computationally harder to reconstruct the past than to predict the future
• Reversible effects as inverse arrows
• scientific article; zbMATH DE number 1354104 (Why is no real title available?)
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• Towards a taxonomy for reversible computation approaches
• Checkpoint-based rollback recovery in session programming

This page was built for publication: Reversibility and Predictions

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