ReverCSP: time-travelling in CSP computations

DOI10.1007/978-3-030-52482-1_14OpenAlexW3041960168MaRDI QIDQ2039907

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

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)

Related Items (1)

reverCSP

Uses Software

• Graphviz
• Erlang
• CauDEr

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