@article(Abadi:1991:ERM:114015.114018,
 author       = {Mart\'{\i}n Abadi and Leslie Lamport},
 year         = {1991},
 title        = {The existence of refinement mappings},
 journal      = {TCS},
 volume       = {82},
 number       = {2},
 pages        = {253 -- 284},
 doi          = {10.1016/0304-3975(91)90224-P},
)
@incollection(Danos:2005:TR:1099332.1099364,
 author       = {Vincent Danos and Jean Krivine},
 year         = {2005},
 title        = {Transactions in RCCS},
 booktitle    = {CONCUR 2005},
 series       = {LNCS},
 volume       = {3653},
 publisher    = {Springer},
 pages        = {398--412},
 doi          = {10.1007/11539452\_31},
)
@article(Danos:2007:ST:1243510.1243684,
 author       = {Vincent Danos and Jean Krivine and Fabien Tarissan},
 year         = {2007},
 title        = {Self-assembling Trees},
 journal      = {ENTCS},
 volume       = {175},
 number       = {1},
 pages        = {19 -- 32},
 doi          = {10.1016/j.entcs.2006.11.017},
)
@techreport(ds04,
 author       = {Bruno Dutertre and Maria Sorea},
 year         = {2004},
 title        = {Timed Systems in {SAL}},
 type         = {Technical Report},
 number       = {SRI-SDL-04-03},
 institution  = {{SRI} International},
)
@article(Elnozahy:2002:SRP:568522.568525,
 author       = {E. N. (Mootaz) Elnozahy and Lorenzo Alvisi and Yi-Min Wang and David B. Johnson},
 year         = {2002},
 title        = {A Survey of Rollback-recovery Protocols in Message-passing Systems},
 journal      = {ACM Comput. Surv.},
 volume       = {34},
 number       = {3},
 pages        = {375--408},
 doi          = {10.1145/568522.568525},
)
@inproceedings(fidge1988,
 author       = {Colin J. Fidge},
 year         = {1988},
 title        = {Timestamps in message-passing systems that preserve the partial ordering},
 booktitle    = {Proc. of the 11th Australian Computer Science Conference (ACSC'88)},
 pages        = {56--66},
)
@incollection(springerlink:10.1007/978-3-642-15763-9,
 author       = {Rachid Guerraoui},
 year         = {2010},
 title        = {Foundations of Speculative Distributed Computing},
 booktitle    = {Distributed Computing},
 series       = {LNCS},
 volume       = {6343},
 publisher    = {Springer},
 pages        = {204--205},
 doi          = {10.1007/978-3-642-15763-9\_21},
)
@article(springerlink:10.1007/BF03037164,
 author       = {M.V. Hermenegildo and K.J. Greene},
 year         = {1991},
 title        = {The \&-Prolog system: Exploiting independent and-parallelism},
 journal      = {New Generation Computing},
 volume       = {9},
 number       = {3-4},
 pages        = {233--256},
 doi          = {10.1007/BF03037164},
)
@inproceedings(Hinze:2000:DBM:351240.351258,
 author       = {Ralf Hinze},
 year         = {2000},
 title        = {Deriving Backtracking Monad Transformers},
 booktitle    = {ICFP '00},
 publisher    = {ACM},
 pages        = {186--197},
 doi          = {10.1145/351240.351258},
)
@incollection(Hoare2010,
 author       = {Tony Hoare},
 year         = {2010},
 title        = {Compensable Transactions},
 booktitle    = {Advanced Lectures on Software Engineering},
 series       = {LNCS},
 volume       = {6029},
 publisher    = {Springer},
 pages        = {21--40},
 doi          = {10.1007/978-3-642-13010-6\_2},
)
@inproceedings(Jefferson:1987:TWO:41457.37508,
 author       = {D. Jefferson and B. Beckman and F. Wieland and L. Blume and M. Diloreto},
 year         = {1987},
 title        = {Time Warp Operating System},
 booktitle    = {SOSP '87},
 publisher    = {ACM},
 pages        = {77--93},
 doi          = {10.1145/41457.37508},
)
@article(jefferson85,
 author       = {David R. Jefferson},
 year         = {1985},
 title        = {Virtual Time},
 journal      = {ACM Trans. Program. Lang. Syst.},
 volume       = {7},
 number       = {3},
 pages        = {404--425},
 doi          = {10.1145/3916.3988},
)
@incollection(Lanese:2011:CRH:2040235.2040261,
 author       = {Ivan Lanese and ClaudioAntares Mezzina and Alan Schmitt and Jean-Bernard Stefani},
 year         = {2011},
 title        = {Controlling Reversibility in Higher-Order Pi},
 booktitle    = {CONCUR 2011},
 series       = {LNCS},
 volume       = {6901},
 publisher    = {Springer},
 pages        = {297--311},
 doi          = {10.1007/978-3-642-23217-6\_20},
)
@incollection(reversingpi,
 author       = {Ivan Lanese and ClaudioAntares Mezzina and Jean-Bernard Stefani},
 year         = {2010},
 title        = {Reversing Higher-Order Pi},
 booktitle    = {CONCUR 2010},
 series       = {LNCS},
 volume       = {6269},
 publisher    = {Springer},
 pages        = {478--493},
 doi          = {10.1007/978-3-642-15375-4\_33},
)
@inproceedings(Lesani:2011,
 author       = {Mohsen Lesani and Jens Palsberg},
 year         = {2011},
 title        = {Communicating Memory Transactions},
 booktitle    = {PPoPP},
 publisher    = {ACM},
 pages        = {157--168},
 doi          = {10.1145/1941553.1941577},
)
@incollection(LiZhuHe2008,
 author       = {Jing Li and Huibiao Zhu and Jifeng He},
 year         = {2008},
 title        = {Specifying and Verifying Web Transactions},
 booktitle    = {FORTE 2008},
 series       = {LNCS},
 volume       = {5048},
 publisher    = {Springer},
 pages        = {149--168},
 doi          = {10.1007/978-3-540-68855-6\_10},
)
@incollection(muoz,
 author       = {Michael Lienhardt and Ivan Lanese and ClaudioAntares Mezzina and Jean-Bernard Stefani},
 year         = {2012},
 title        = {A Reversible Abstract Machine and Its Space Overhead},
 booktitle    = {Formal Techniques for Distributed Systems},
 series       = {LNCS},
 volume       = {7273},
 publisher    = {Springer},
 pages        = {1--17},
 doi          = {10.1007/978-3-642-30793-5\_1},
)
@inproceedings(mattern88,
 author       = {Friedemann Mattern},
 year         = {1988},
 title        = {Virtual Time and Global States of Distributed Systems},
 booktitle    = {Parallel and Distributed Algorithms},
 publisher    = {North-Holland},
 pages        = {215--226},
)
@techreport(Moura04,
 author       = {Leonardo de Moura},
 year         = {2004},
 title        = {{SAL:} Tutorial},
 type         = {Technical Report},
 institution  = {{SRI} International},
)
@techreport(Moura03,
 author       = {Leonardo de Moura and Sam Owre and N. Shankar},
 year         = {2002},
 title        = {The {SAL} Language Manual},
 type         = {Technical Report},
 institution  = {{SRI} International},
)
@article(Phillips:2007:RMC:1298755.1298827,
 author       = {Iain Phillips and Irek Ulidowski},
 year         = {2007},
 title        = {Reversibility and Models for Concurrency},
 journal      = {ENTCS},
 volume       = {192},
 number       = {1},
 pages        = {93 -- 108},
 doi          = {10.1016/j.entcs.2007.08.018},
)
@book(cml,
 author       = {John H. Reppy},
 year         = {1999},
 title        = {Concurrent Programming in ML},
 publisher    = {Cambridge University Press},
)
@incollection(deVries:2010,
 author       = {Edsko de Vries and Vasileios Koutavas and Matthew Hennessy},
 year         = {2010},
 title        = {Communicating Transactions},
 booktitle    = {CONCUR 2010},
 series       = {LNCS},
 volume       = {6269},
 publisher    = {Springer},
 pages        = {569--583},
 doi          = {10.1007/978-3-642-15375-4\_39},
)
@article(stabilizers,
 author       = {Lukasz Ziarek and Suresh Jagannathan},
 year         = {2010},
 title        = {Lightweight Checkpointing for Concurrent Ml},
 journal      = {J. Funct. Program.},
 volume       = {20},
 number       = {2},
 pages        = {137--173},
 doi          = {10.1017/S0956796810000067},
)