V. Danos
J. Krivine
2004
Reversible Communicating Systems
CONCUR 2004, Proceedings
292–307
10.1007/978-3-540-28644-8_19
R. Fujimoto
1990
Parallel Discrete Event Simulation
Communications of the ACM
33
10
30–53
10.1145/84537.84545
E. Giachino
I. Lanese
C.A. Mezzina
2014
Causal-Consistent Reversible Debugging
Proceedings of FASE 2014
370–384
10.1007/978-3-642-54804-8_26
R. Glück
M. Kawabe
2004
Derivation of Deterministic Inverse Programs Based on LR Parsing
FLOPS 2004
LNCS
2998
Springer
291–306
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
8–17
10.1145/1071221.1071222
R. Glück
T. Yokoyama
2016
A Linear-Time Self-Interpreter of a Reversible Imperative Language
Computer Software
33
3
3_108–3_128
10.11309/jssst.33.3_108
R. Glück
T. Yokoyama
2017
A Minimalist's Reversible While Language
E100.D
1026–1034
10.1587/transinf.2016EDP7274
D. Gries
1981
The Science of Programming
Springer
10.1007/978-1-4612-5983-1
T. Haulund
2017
Design and Implementation of a Reversible Object-Oriented Programming Language
CoRR
abs/1707.07845
http://arxiv.org/abs/1707.07845
J. Hoey
I. Ulidowski
S. Yuen
2017
Reversing Imperative Parallel Programs
Proceedings of Express/SOS, 2017
EPTCS
255
51–66
10.4204/EPTCS.255.4
H. Hüttel
2010
Transitions and Trees - An Introduction to Structural Operational Semantics
Cambridge University Press
10.1017/CBO9780511840449
D.R. Jefferson
1985
Virtual Time
ACM Transactions on Programming Languages and Systems
7
3
404–425
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
10.1201/b15719
I.C.C. Phillips
I. Ulidowski
2007
Reversing Algebraic Process Calculi
J. Log. Algebr. Program.
73
1-2
70–96
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
RC2012
LNCS
7581
Springer
218–232
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
RC 2015
LNCS
9138
Springer
95–110
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
Reversible Computation - 8th International Conference, RC 2016, Proceedings
153–159
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
WSC 2011
WSC
10.1109/WSC.2011.6147998
T. Yokoyama
H.B. Axelsen
R. Glück
2008
Principles of a Reversible Programming Language
Proceedings of the 5th Conference on Computing Frontiers
ACM
43–54
10.1145/1366230.1366239
T. Yokoyama
R. Glück
2007
A Reversible Programming Language and its Invertible Self-interpreter
Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation
ACM
144–153
10.1145/1244381.1244404