@article{DBLP:journals/corr/MezzinaK16,
  author    = {Claudio Antares Mezzina and
               Vasileios Koutavas},
  title     = {A Safety and Liveness Theory for Total Reversibility (Extended Abstract)},
  journal   = {CoRR},
  volume    = {abs/1604.05555},
  year      = {2016},
  url       = {http://arxiv.org/abs/1604.05555},
  eprinttype = {arXiv},
  eprint    = {1604.05555},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/MezzinaK16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"NA7AuNbdgs6juowZi","bibbaseid":"mezzina-koutavas-asafetyandlivenesstheoryfortotalreversibilityextendedabstract-2016","downloads":0,"creationDate":"2018-01-12T13:55:33.970Z","title":"A Safety and Liveness Theory for Total Reversibility (Extended Abstract)","author_short":["Mezzina, C. A.","Koutavas, V."],"year":2016,"bibtype":"article","biburl":"https://dblp.org/pid/73/7078.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Claudio","Antares"],"propositions":[],"lastnames":["Mezzina"],"suffixes":[]},{"firstnames":["Vasileios"],"propositions":[],"lastnames":["Koutavas"],"suffixes":[]}],"title":"A Safety and Liveness Theory for Total Reversibility (Extended Abstract)","journal":"CoRR","volume":"abs/1604.05555","year":"2016","url":"http://arxiv.org/abs/1604.05555","eprinttype":"arXiv","eprint":"1604.05555","timestamp":"Mon, 13 Aug 2018 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/corr/MezzinaK16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/MezzinaK16,\n author = {Claudio Antares Mezzina and\n Vasileios Koutavas},\n title = {A Safety and Liveness Theory for Total Reversibility (Extended Abstract)},\n journal = {CoRR},\n volume = {abs/1604.05555},\n year = {2016},\n url = {http://arxiv.org/abs/1604.05555},\n eprinttype = {arXiv},\n eprint = {1604.05555},\n timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/corr/MezzinaK16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Mezzina, C. A.","Koutavas, V."],"key":"DBLP:journals/corr/MezzinaK16","id":"DBLP:journals/corr/MezzinaK16","bibbaseid":"mezzina-koutavas-asafetyandlivenesstheoryfortotalreversibilityextendedabstract-2016","role":"author","urls":{"Paper":"http://arxiv.org/abs/1604.05555"},"metadata":{"authorlinks":{"koutavas, v":"https://www.scss.tcd.ie/"}},"html":""},"search_terms":["safety","liveness","theory","total","reversibility","extended","abstract","mezzina","koutavas"],"keywords":[],"authorIDs":["fAE5veAPfvdM7zwoC"],"dataSources":["4g7dRdtf79M7CFSWQ","xs35HrYTZDE2HTSYB"]}