Controlled Reversibility and Compensations

DOI10.1007/978-3-642-36315-3_19MaRDI QIDQ3453755zbMATH OpenOpenAlexFDO

Authors Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani

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)

Recommendations

• Controlled reversibility in reaction systems
• Controlled reversibility in communicating reaction systems
• Controlling Reversibility in Higher-Order Pi
• scientific article; zbMATH DE number 4005027
• scientific article; zbMATH DE number 65818
• Fast control for reversible processors
• Reversible systems
• Reversibility and regularity
• Optimizing the reversible circuits using complementary control line transformation
• Control of hysteretic systems through inverse compensation

Cites work

• Communicating transactions (extended abstract)
• Controlling Reversibility in Higher-Order Pi
• On the statistical thermodynamics of reversible communicating processes
• Reverse Execution of Java Bytecode
• Reversing Higher-Order Pi

Cited in

(15)

• Simulating reversible computation with reaction systems
• Towards a taxonomy for reversible computation approaches
• Controlled reversibility in reaction systems
• A calculus for local reversibility
• General dynamic recovery for compensating CSP
• Reversibility in session-based concurrency: a fresh look
• Static VS Dynamic Reversibility in CCS
• Reversible session-based pi-calculus
• Modular rollback through control logging: a pair of twin functional pearls
• scientific article; zbMATH DE number 7559489 (Why is no real title available?)
• Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
• A collective interpretation semantics for reversing Petri nets
• Controlling Reversibility in Higher-Order Pi
• An axiomatic theory for reversible computation
• A formal approach to undo operations in programming languages

This page was built for publication: Controlled Reversibility and Compensations

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