A small-step semantics for Janus
From MaRDI portal
Publication:6637592
DOI10.1007/978-3-031-62076-8_8MaRDI QIDQ6637592FDOQ6637592
Authors: Pietro Lami, Ivan Lanese, Jean-Bernard Stefani 
Publication date: 13 November 2024
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
- Towards a reversible functional language
- Title not available (Why is that?)
- Title not available (Why is that?)
- A compositional semantics for the reversible \(\pi\)-calculus
- CONCUR 2004 - Concurrency Theory
- Towards a domain-specific language for reversible assembly sequences
- Reversible object-oriented programming with region-based memory management (work in progress report)
- A theory of reversibility for Erlang
- \(\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)
