Reversibility with holes (work in progress)

DOI10.1007/978-3-031-62076-8_5MaRDI QIDQ6637586FDOQ6637586

Authors: Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani 

Publication date: 13 November 2024

Mathematics Subject Classification ID

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

Cites Work

• Reversing algebraic process calculi
• Reversibility in the higher-order \(\pi\)-calculus
• Controlling Reversibility in Higher-Order Pi
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Irreversibility and Heat Generation in the Computing Process
• CONCUR 2004 - Concurrency Theory
• A theory of reversibility for Erlang

This page was built for publication: Reversibility with holes (work in progress)

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