From reversible semantics to reversible debugging
From MaRDI portal
Publication:1796364
DOI10.1007/978-3-319-99498-7_2OpenAlexW4289547752MaRDI QIDQ1796364
Publication date: 17 October 2018
Full work available at URL: https://hal.inria.fr/hal-01912920/file/main.pdf
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)
Related Items (4)
The correctness of concurrencies in (reversible) concurrent calculi ⋮ Unnamed Item ⋮ Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels ⋮ Concurrencies in reversible concurrent calculi
This page was built for publication: From reversible semantics to reversible debugging
