Controlled Reversibility and Compensations

DOI10.1007/978-3-642-36315-3_19zbMATH Open1451.68123OpenAlexW1537589501MaRDI QIDQ3453755FDOQ3453755

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

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

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)

Cites Work

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

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
• Title not available (Why is that?)
• 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)