y2report.bib

@book{AVW96,
  author = {Joe Armstrong and Robert Virding and Claes Wikstr{\"{o}}m and Mike Williams},
  title     = "{Concurrent programming in Erlang (2nd edition)}",
  publisher = {Prentice Hall},
  year      = {1996},
}

@misc{CGJLNPV04,
  author = {Richard Carlsson and Bj{\"{o}}rn Gustavsson and Erik Johansson and Thomas Lindgren and Sven-Olof Nystr\"om and Mikael Pettersson and Robert Virding},
  title = "{Core Erlang 1.0.3. Language specification}",
  note = "Available from \verb$https://www.it.uu.se/research/$ \verb$group/hipe/cerl/doc/core_erlang-1.0.3.pdf$",
  year = "2004",
}

@inproceedings{GLM14,
  author = {Elena Giachino and Ivan Lanese and Claudio Antares Mezzina},
  title = {Causal-Consistent Reversible Debugging},
  booktitle = {Proc.\ of the 17th International Conference on Fundamental Approaches to Software Engineering ({FASE} 2014)},
  pages = {370--384},
  year = {2014},
  editor = {Stefania Gnesi and Arend Rensink},
  series = {Lecture Notes in Computer Science},
  volume = {8411},
  publisher = {Springer},
}

@inproceedings{LLMS12,
  author = {Michael Lienhardt and Ivan Lanese and Claudio Antares Mezzina and Jean{-}Bernard Stefani},
  title = {A Reversible Abstract Machine and Its Space Overhead},
  booktitle = {Proceedings of the Joint 14th {IFIP} {WG} Int'l Conf.\ on Formal Techniques for Distributed Systems ({FMOODS} 2012) and the 32nd {IFIP} {WG} 6.1 International Conference ({FORTE} 2012)},
  pages = {1--17},
  year = {2012},
  editor = {Holger Giese and Grigore Rosu},
  series = {Lecture Notes in Computer Science},
  volume = {7273},
  publisher = {Springer},
}

@article{LMT14,
  author = {Ivan Lanese and Claudio Antares Mezzina and Francesco Tiezzi},
  title = {Causal-Consistent Reversibility},
  journal = {Bulletin of the {EATCS}},
  volume = {114},
  year = {2014},
}

@misc{LNPV17,
  author = {Ivan Lanese and Naoki Nishida and Adri{\'{a}}n Palacios and Germ{\'{a}}n Vidal},
  title = "{A Theory of Reversibility for Erlang}",
  year = 2017,
  note = "Submitted for publication",
}

@inproceedings{NPV16,
  author = {Naoki Nishida and Adri{\'{a}}n Palacios and Germ{\'{a}}n Vidal},
  title = "{A Reversible Semantics for Erlang}",
  booktitle = {Proc.\ of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016},
  year = 2017,
  editor = {Manuel Hermenegildo and Pedro L\'opez-Garc\'{\i}a},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  note = "To appear",
}


@inproceedings{DG16,
  volume = {222},
  author = {Mariangiola Dezani-Ciancaglini and Paola Giannini},
  series = {EPTCS},
  booktitle = {EXPRESS/SOS'16},
  url = {http://www.di.unito.it/~dezani/papers/dg16.pdf},
  title = {Reversible Multiparty Sessions with Checkpoints},
  pages = {60--74},
  year = {2016},
}

@inproceedings{CDG17,
  author = {Ilaria Castellani and Mariangiola Dezani-Ciancaglini and Paola Giannini},
   title = {Concurrent Reversible Sessions},
  notes = {Submitted to a conference},
  year = {2017}
}

@inproceedings{NY2017,
  author = {Rumyana Neykova and Nobuko Yoshida},
  title = {{Let It Recover: Multiparty Protocol-Induced Recovery}},
  booktitle = {26th International Conference on Compiler Construction},
  pages = {98--108},
  publisher = {ACM},
  doi = "10.1145/3033019.3033031",
  year = 2017
}


@inproceedings{MezzinaP16a,
  author    = {Claudio Antares Mezzina and
               Jorge Andr{\'{e}}s P{\'{e}}rez},
  title     = {Reversible Semantics in Session-based Concurrency},
  booktitle = {Proceedings of the 17th Italian Conference on Theoretical Computer
               Science, Lecce, Italy, September 7-9, 2016.},
  pages     = {221--226},
  year      = {2016},
 series    = {{CEUR} Workshop Proceedings},
  volume    = {1720},
  publisher = {CEUR-WS.org},  
  url       = {http://ceur-ws.org/Vol-1720/short1.pdf},
  costack	  = {true}
}

@inproceedings{MezzinaP16b,
  author    = {Claudio Antares Mezzina and
               Jorge A. P{\'{e}}rez},
  title     = {Reversible Sessions Using Monitors},
  booktitle = {Proceedings of the Ninth workshop on Programming Language Approaches
               to Concurrency- and Communication-cEntric Software, {PLACES} 2016,
               Eindhoven, The Netherlands, 8th April 2016.},
  pages     = {56--64},
  year      = {2016},
  url       = {https://doi.org/10.4204/EPTCS.211.6},
  doi       = {10.4204/EPTCS.211.6},
  series    = {{EPTCS}},
  volume    = {211},
 costack	  = {true}
}


@inproceedings{joule:2016,
  title={Elements of a Reversible Object-Oriented Language},
  author={U.P. Schultz and H.B. Axelsen},
  booktitle={International Conference on Reversible Computation},
  pages={153--159},
  year={2016},
  organization={Springer},
  costack={true}
}

@inproceedings{roop:2017,
  title={Implementing Reversible Object-Oriented Language Features on Reversible Machines},
  author={T. Haulund and T. Mogensen and R. Gl\"{u}ck},
  booktitle={International Conference on Reversible Computation},
  year={2017},
  organization={Springer},
  note={To appear.},
}

@mastersthesis{haulund:2016,
  author = {T. Haulund},
  title = {Design and Implementation of a Reversible Object-Oriented Programming Language},
  school = {University of Copenhagen, DIKU},
  year = 2016,
}

@article{DBLP:journals/jlp/GiachinoLMT17,
  author    = {Elena Giachino and
               Ivan Lanese and
               Claudio Antares Mezzina and
               Francesco Tiezzi},
  title     = {Causal-consistent rollback in a tuple-based language},
  journal   = {J. Log. Algebr. Meth. Program.},
  volume    = {88},
  pages     = {99--120},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.jlamp.2016.09.003},
  doi       = {10.1016/j.jlamp.2016.09.003},
  timestamp = {Sun, 28 May 2017 13:17:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jlp/GiachinoLMT17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@misc{mou,
author ="Irek Ulidowski",
title = "{IC1405 - Reversible Computation: extending horizons of computing - Memorandum of Understanding} ",
note= "\url{https://e-services.cost.eu/files/domain_files/ICT/Action_IC1405/mou/IC1405-e.pdf}"
}

@inproceedings{wg2report,
author= "Claudio Antares Mezzina and Rudolf Schlatte (eds)",
title="{ State of the art report, Working Group 2, Software and Systems}",
publisher = "COST Action IC1405, Reversible Computation",
year= 2016
}