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
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
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)