Reversibility with holes (work in progress)

DOI10.1007/978-3-031-62076-8_5MaRDI QIDQ6637586zbMATH OpenFDO

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

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

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)