@inproceedings(VD2004,
author = {V. Danos and J. Krivine},
year = {2004},
title = {Reversible Communicating Systems},
booktitle = {{CONCUR} 2004, Proceedings},
pages = {292--307},
doi = {10.1007/978-3-540-28644-8_19},
)
@article(RJ1990,
author = {R. Fujimoto},
year = {1990},
title = {{Parallel Discrete Event Simulation}},
journal = {{Communications of the ACM}},
volume = {33},
number = {10},
pages = {30--53},
doi = {10.1145/84537.84545},
)
@inproceedings(EG2014,
author = {E. Giachino and I. Lanese and C.A. Mezzina},
year = {2014},
title = {Causal-Consistent Reversible Debugging},
booktitle = {Proceedings of {FASE} 2014},
pages = {370--384},
doi = {10.1007/978-3-642-54804-8_26},
)
@inproceedings(RG2004,
author = {R. Gl{\"{u}}ck and M. Kawabe},
year = {2004},
title = {{Derivation of Deterministic Inverse Programs Based on LR Parsing}},
booktitle = {{FLOPS 2004}},
series = {LNCS},
volume = {2998},
publisher = {Springer},
pages = {291--306},
doi = {10.1007/978-3-540-24754-8_21},
)
@article(RG2005,
author = {R. Gl{\"{u}}ck and M. Kawabe},
year = {2005},
title = {{Revisiting an Automatic Program Inverter for LISP}},
journal = {{SIGPLAN} Notices},
volume = {40},
number = {5},
pages = {8--17},
doi = {10.1145/1071221.1071222},
)
@article(RG2016,
author = {R. Gl{\"{u}}ck and T. Yokoyama},
year = {2016},
title = {A Linear-Time Self-Interpreter of a Reversible Imperative Language},
journal = {Computer Software},
volume = {33},
number = {3},
pages = {3_108--3_128},
doi = {10.11309/jssst.33.3_108},
)
@article(RG2017,
author = {R. Gl{\"{u}}ck and T. Yokoyama},
year = {2017},
title = {A Minimalist's Reversible While Language},
volume = {E100.D},
pages = {1026--1034},
doi = {10.1587/transinf.2016EDP7274},
)
@book(DG1981,
author = {D. Gries},
year = {1981},
title = {The Science of Programming},
publisher = {Springer},
doi = {10.1007/978-1-4612-5983-1},
)
@article(TH2017,
author = {T. Haulund},
year = {2017},
title = {Design and Implementation of a Reversible Object-Oriented Programming Language},
journal = {CoRR},
volume = {abs/1707.07845},
url = {http://arxiv.org/abs/1707.07845},
)
@inproceedings(JH2017,
author = {J. Hoey and I. Ulidowski and S. Yuen},
year = {2017},
title = {Reversing Imperative Parallel Programs},
booktitle = {{\rm Proceedings of} Express/SOS, {\rm 2017}},
series = {EPTCS},
volume = {255},
pages = {51--66},
doi = {10.4204/EPTCS.255.4},
)
@book(HH2010,
author = {H. H{\"{u}}ttel},
year = {2010},
title = {{Transitions and Trees - An Introduction to Structural Operational Semantics}},
publisher = {Cambridge University Press},
doi = {10.1017/CBO9780511840449},
)
@article(DJ1985,
author = {D.R. Jefferson},
year = {1985},
title = {Virtual Time},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {7},
number = {3},
pages = {404--425},
doi = {10.1145/3916.3988},
)
@article(IL2014,
author = {I. Lanese and C.A. Mezzina and F. Tiezzi},
year = {2014},
title = {Causal-Consistent Reversibility},
journal = {Bulletin of the {EATCS}},
volume = {114},
)
@book(KP2014,
author = {K. Perumalla},
year = {2014},
title = {{Introduction to Reversible Computing}},
publisher = {CRC Press},
doi = {10.1201/b15719},
)
@article(IP2007,
author = {I.C.C. Phillips and I. Ulidowski},
year = {2007},
title = {{Reversing Algebraic Process Calculi}},
journal = {J. Log. Algebr. Program.},
volume = {73},
number = {1-2},
pages = {70--96},
doi = {10.1016/j.jlap.2006.11.002},
)
@inproceedings(IP2012,
author = {I.C.C. Phillips and I. Ulidowski and S. Yuen},
year = {2012},
title = {{A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway}},
booktitle = {RC2012},
series = {LNCS},
volume = {7581},
publisher = {Springer},
pages = {218--232},
doi = {10.1007/978-3-642-36315-3_18},
)
@inproceedings(MS2015,
author = {M. Schordan and D.R. Jefferson and P.D. Barnes Jr. and T. Oppelstrup and D.J. Quinlan},
year = {2015},
title = {{Reverse Code Generation for Parallel Discrete Event Simulation}},
booktitle = {{RC} 2015},
series = {LNCS},
volume = {9138},
publisher = {Springer},
pages = {95--110},
doi = {10.1007/978-3-319-20860-2_6},
)
@inproceedings(US2016,
author = {U.P. Schultz and H.B. Axelsen},
year = {2016},
title = {Elements of a Reversible Object-Oriented Language - Work-in-Progress Report},
booktitle = {Reversible Computation - 8th International Conference, {RC} 2016, Proceedings},
pages = {153--159},
doi = {10.1007/978-3-319-40578-0_10},
)
@inproceedings(GV2011,
author = {G. Vulov and C. Hou and R.W. Vuduc and R. Fujimoto and D.J. Quinlan and D.R. Jefferson},
year = {2011},
title = {{The Backstroke Framework for Source Level Reverse Computation Applied to Parallel Discrete Event Simulation}},
booktitle = {WSC 2011},
publisher = {{WSC}},
doi = {10.1109/WSC.2011.6147998},
)
@inproceedings(TY2008A,
author = {T. Yokoyama and H.B. Axelsen and R. Gl{\"{u}}ck},
year = {2008},
title = {{Principles of a Reversible Programming Language}},
booktitle = {Proceedings of the 5th Conference on Computing Frontiers},
publisher = {{ACM}},
pages = {43--54},
doi = {10.1145/1366230.1366239},
)
@inproceedings(TY2007,
author = {T. Yokoyama and R. Gl{\"{u}}ck},
year = {2007},
title = {{A Reversible Programming Language and its Invertible Self-interpreter}},
booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-based Program Manipulation},
publisher = {{ACM}},
pages = {144--153},
doi = {10.1145/1244381.1244404},
)