Reverse Code Generation for Parallel Discrete Event Simulation

DOI10.1007/978-3-319-20860-2_6zbMath1464.68049OpenAlexW1095798623MaRDI QIDQ2822496

Markus Schordan, Daniel J. Quinlan, Peter Barnes, David Jefferson, Tomas Oppelstrup

Publication date: 30 September 2016

Published in: Reversible Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-20860-2_6

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Other nonclassical models of computation (68Q09) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10)

Related Items (11)

Reversible effects as inverse arrows ⋮ Reversible computation in term rewriting ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Join inverse categories and reversible recursion ⋮ Splitting Recursion Schemes into Reversible and Classical Interacting Threads ⋮ Join Inverse Categories as Models of Reversible Recursion ⋮ Unnamed Item ⋮ Reversible Imperative Parallel Programs and Debugging ⋮ Algeo: an algebraic approach to reversibility ⋮ Acyclic and Cyclic Reversing Computations in Petri Nets

Uses Software

• LORAIN

This page was built for publication: Reverse Code Generation for Parallel Discrete Event Simulation