Controlled Reversibility and Compensations

DOI10.1007/978-3-642-36315-3_19zbMath1451.68123OpenAlexW1537589501MaRDI QIDQ3453755

Ivan Lanese, Jean-Bernard Stefani, Claudio Antares Mezzina

Publication date: 30 November 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-642-36315-3_19

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (9)

Reversibility in session-based concurrency: a fresh look ⋮ A Calculus for Local Reversibility ⋮ A collective interpretation semantics for reversing Petri nets ⋮ Towards a taxonomy for reversible computation approaches ⋮ Reversible session-based pi-calculus ⋮ Simulating reversible computation with reaction systems ⋮ Unnamed Item ⋮ An axiomatic theory for reversible computation ⋮ Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications

Cites Work

• Controlling Reversibility in Higher-Order Pi
• On the Statistical Thermodynamics of Reversible Communicating Processes
• Reversing Higher-Order Pi
• Communicating Transactions
• Reverse Execution of Java Bytecode

This page was built for publication: Controlled Reversibility and Compensations