On reversibility and broadcast

DOI10.1007/978-3-319-99498-7_5MaRDI QIDQ1796367zbMATH OpenOpenAlexFDO

Authors Claudio Antares Mezzina

Publication date 17 October 2018

Full work available at URL https://doi.org/10.1007/978-3-319-99498-7_5

Mathematics Subject Classification ID

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

Recommendations

• A modular formalization of reversibility for concurrent models and languages
• Concurrent flexible reversibility
• Towards bridging time and causal reversibility
• CONCUR 2004 - Concurrency Theory
• Relative expressiveness of calculi for reversible concurrency

Cited in

(11)

• revTPL: The Reversible Temporal Process Language
• The reversible temporal process language
• A parametric framework for reversible \(\pi\)-calculi
• Reversibility and Predictions
• An axiomatic theory for reversible computation
• Broadcasting of inseparability
• Simultaneous broadcast revisited
• Towards bridging time and causal reversibility
• Checkpoint/rollback vs causally-consistent reversibility
• An axiomatic approach to reversible computation
• scientific article; zbMATH DE number 7559489 (Why is no real title available?)

This page was built for publication: On reversibility and broadcast

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