A small-step semantics for Janus

DOI10.1007/978-3-031-62076-8_8MaRDI QIDQ6637592FDO

Authors Pietro Lami, 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

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• A compositional semantics for the reversible \(\pi\)-calculus
• A theory of reversibility for Erlang
• CONCUR 2004 - Concurrency Theory
• Reversibility in the higher-order \(\pi\)-calculus
• Reversible object-oriented programming with region-based memory management (work in progress report)
• Reversing algebraic process calculi
• Towards a domain-specific language for reversible assembly sequences
• Towards a reversible functional language
• \(\mathsf{CoreFun}\): a typed functional reversible core language

This page was built for publication: A small-step semantics for Janus

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