ReverCSP: time-travelling in CSP computations

DOI10.1007/978-3-030-52482-1_14MaRDI QIDQ2039907zbMATH OpenOpenAlexFDO

Authors Naoki Nishida, Josep Silva, Salvador Tamarit, Carlos Galindo

Publication date 5 July 2021

Full work available at URL https://doi.org/10.1007/978-3-030-52482-1_14

zbMATH Keywords

CSPtracingreversible computations

Mathematics Subject Classification ID

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

Cited in

(1)

• reverCSP

Describes a project that uses

Uses Software

• CauDEr
• Erlang
• Graphviz

This page was built for publication: ReverCSP: time-travelling in CSP computations

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