V. Danos & J. Krivine (2004):
Reversible Communicating Systems.
In: CONCUR 2004, Proceedings,
pp. 292–307,
doi:10.1007/978-3-540-28644-8_19.
R. Fujimoto (1990):
Parallel Discrete Event Simulation.
Communications of the ACM 33(10),
pp. 30–53,
doi:10.1145/84537.84545.
E. Giachino, I. Lanese & C.A. Mezzina (2014):
Causal-Consistent Reversible Debugging.
In: Proceedings of FASE 2014,
pp. 370–384,
doi:10.1007/978-3-642-54804-8_26.
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.
R. Glück & T. Yokoyama (2016):
A Linear-Time Self-Interpreter of a Reversible Imperative Language.
Computer Software 33(3),
pp. 3_108–3_128,
doi:10.11309/jssst.33.3_108.
R. Glück & T. Yokoyama (2017):
A Minimalist's Reversible While Language E100.D,
pp. 1026–1034,
doi:10.1587/transinf.2016EDP7274.
T. Haulund (2017):
Design and Implementation of a Reversible Object-Oriented Programming Language.
CoRR abs/1707.07845.
Available at http://arxiv.org/abs/1707.07845.
J. Hoey, I. Ulidowski & S. Yuen (2017):
Reversing Imperative Parallel Programs.
In: Proceedings of Express/SOS, 2017,
EPTCS 255,
pp. 51–66,
doi:10.4204/EPTCS.255.4.
H. Hüttel (2010):
Transitions and Trees - An Introduction to Structural Operational Semantics.
Cambridge University Press,
doi:10.1017/CBO9780511840449.
D.R. Jefferson (1985):
Virtual Time.
ACM Transactions on Programming Languages and Systems 7(3),
pp. 404–425,
doi:10.1145/3916.3988.
I. Lanese, C.A. Mezzina & F. Tiezzi (2014):
Causal-Consistent Reversibility.
Bulletin of the EATCS 114.
K. Perumalla (2014):
Introduction to Reversible Computing.
CRC Press,
doi:10.1201/b15719.
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.
U.P. Schultz & H.B. Axelsen (2016):
Elements of a Reversible Object-Oriented Language - Work-in-Progress Report.
In: Reversible Computation - 8th International Conference, RC 2016, Proceedings,
pp. 153–159,
doi:10.1007/978-3-319-40578-0_10.
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 Language.
In: Proceedings of the 5th Conference on Computing Frontiers.
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.