@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},
  archivePrefix = {arXiv},
  eprint    = {1604.05555},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/MezzinaK16},
  bibsource = {dblp computer science bibliography, http://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://www.scss.tcd.ie/Vasileios.Koutavas/publications/Koutavas_Vasileios.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","archiveprefix":"arXiv","eprint":"1604.05555","timestamp":"Wed, 07 Jun 2017 01:00:00 +0200","biburl":"http://dblp.org/rec/bib/journals/corr/MezzinaK16","bibsource":"dblp computer science bibliography, http://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 archivePrefix = {arXiv},\n eprint = {1604.05555},\n timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},\n biburl = {http://dblp.org/rec/bib/journals/corr/MezzinaK16},\n bibsource = {dblp computer science bibliography, http://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/Vasileios.Koutavas/publications/index.html"}},"downloads":0,"html":""},"search_terms":["safety","liveness","theory","total","reversibility","extended","abstract","mezzina","koutavas"],"keywords":[],"authorIDs":["fAE5veAPfvdM7zwoC"],"dataSources":["4g7dRdtf79M7CFSWQ","xs35HrYTZDE2HTSYB"]}