H. Agrawal, R. A. DeMillo & E. H. Spafford (1991):
An Execution-Backtracking Approach to Debugging.
IEEE Software 8(3),
pp. 21–26,
doi:10.1109/52.88940.
B. Biswas and R. Mall (1999):
Reverse Execution of Programs.
SIGPLAN Notices 34(4),
pp. 61–69,
doi:10.1145/312009.312079.
C. D. Carothers, K. S. Perumalla & R. Fujimoto (1999):
Efficient Optimistic Parallel Simulations using Reverse Computation.
ACM Transactions on Modelling and Computer Simulation 9(3),
pp. 224–253,
doi:10.1145/347823.347828.
D. Cingolani, M. Ianni, A. Pellegrini & F. Quaglia:
Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation.
In: RC 2016,
LNCS 9720.
Springer,
doi:10.1007/978-3-319-40578-0_9.
R. Fujimoto (1990):
Parallel Discrete Event Simulation.
Communications of the ACM 33(10),
pp. 30–53,
doi:10.1145/84537.84545.
R. Glück & M. Kawabe (2004):
Derivation of Deterministic Inverse Programs Based on LR Parsing.
In: FLOPS 2004,
LNCS 2998.
Springer,
pp. 291–306,
doi:10.1007/978-3-540-24754-8_21.
R. Glück & M. Kawabe (2005):
Revisiting an Automatic Program Inverter for LISP.
SIGPLAN Notices 40(5),
pp. 8–17,
doi:10.1145/1071221.1071222.
H. Hüttel (2010):
Transitions and Trees - An Introduction to Structural Operational Semantics.
Cambridge University Press,
doi:10.1017/CBO9780511840449.
R. Landauer (1961):
Irreversibility and Heat Generation in the Computing Process.
IBM Journal of Research and Development 5(3),
pp. 183–191,
doi:10.1147/rd.53.0183.
C. Lutz (1986):
Janus: A Time-Reversible Language. A Letter to Dr. Landauer.
http://tetsuo.jp/ref/janus.pdf.
K. Perumalla (2014):
Introduction to Reversible Computing.
CRC Press.
I. C. C. Phillips & I. Ulidowski (2007):
Reversing Algebraic Process Calculi.
J. Log. Algebr. Program. 73(1-2),
pp. 70–96,
doi:10.1016/j.jlap.2006.11.002.
I. C. C. Phillips, I. Ulidowski & S. Yuen (2012):
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway.
In: RC2012,
LNCS 7581.
Springer,
pp. 218–232,
doi:10.1007/978-3-642-36315-3_18.
M. Schordan, D. R. Jefferson, P. D. Barnes Jr., T. Oppelstrup & D. J. Quinlan (2015):
Reverse Code Generation for Parallel Discrete Event Simulation.
In: RC 2015,
LNCS 9138.
Springer,
pp. 95–110,
doi:10.1007/978-3-319-20860-2_6.
M. Schordan, T. Oppelstrup, D. Jefferson, P. D. Barnes Jr. & D. J. Quinlan (2016):
Automatic Generation of Reversible C++ Code and Its Performance in a Scalable Kinetic Monte-Carlo Application.
In: SIGSIM-PADS 2016.
ACM,
pp. 111–122,
doi:10.1145/2901378.2901394.
G. Vulov, C. Hou, R. W. Vuduc, R. Fujimoto, D. J. Quinlan & D. R. Jefferson (2011):
The Backstroke Framework for Source Level Reverse Computation Applied to Parallel Discrete Event Simulation.
In: WSC 2011.
WSC,
doi:10.1109/WSC.2011.6147998.
T. Yokoyama, H. B. Axelsen & R. Glück (2008):
Principles of a Reversible Programming Lang-uage.
In: Proceedings of the 5th Annual Conference on Computing Frontiers, 2008.
ACM,
pp. 43–54,
doi:10.1145/1366230.1366239.
T. Yokoyama & R. Glück (2007):
A Reversible Programming Language and its Invertible Self-interpreter.
In: Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation.
ACM,
pp. 144–153,
doi:10.1145/1244381.1244404.
eptcs@eptcs.org