On reversibility and broadcast

DOI10.1007/978-3-319-99498-7_5OpenAlexW2888534230MaRDI QIDQ1796367FDOQ1796367

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

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

Mathematics Subject Classification ID

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

Cited In (11)

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

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)