@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. Algebraic Methods 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 = {Thu, 20 May 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jlp/GiachinoLMT17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"MTkjGyygaDM3QxBaY","bibbaseid":"giachino-lanese-mezzina-tiezzi-causalconsistentrollbackinatuplebasedlanguage-2017","author_short":["Giachino, E.","Lanese, I.","Mezzina, C. A.","Tiezzi, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Elena"],"propositions":[],"lastnames":["Giachino"],"suffixes":[]},{"firstnames":["Ivan"],"propositions":[],"lastnames":["Lanese"],"suffixes":[]},{"firstnames":["Claudio","Antares"],"propositions":[],"lastnames":["Mezzina"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Tiezzi"],"suffixes":[]}],"title":"Causal-consistent rollback in a tuple-based language","journal":"J. Log. Algebraic Methods 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":"Thu, 20 May 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/jlp/GiachinoLMT17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/jlp/GiachinoLMT17,\n author = {Elena Giachino and\n Ivan Lanese and\n Claudio Antares Mezzina and\n Francesco Tiezzi},\n title = {Causal-consistent rollback in a tuple-based language},\n journal = {J. Log. Algebraic Methods Program.},\n volume = {88},\n pages = {99--120},\n year = {2017},\n url = {https://doi.org/10.1016/j.jlamp.2016.09.003},\n doi = {10.1016/j.jlamp.2016.09.003},\n timestamp = {Thu, 20 May 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/jlp/GiachinoLMT17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Giachino, E.","Lanese, I.","Mezzina, C. A.","Tiezzi, F."],"key":"DBLP:journals/jlp/GiachinoLMT17","id":"DBLP:journals/jlp/GiachinoLMT17","bibbaseid":"giachino-lanese-mezzina-tiezzi-causalconsistentrollbackinatuplebasedlanguage-2017","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.jlamp.2016.09.003"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://dblp.org/pid/73/7078.bib","dataSources":["xs35HrYTZDE2HTSYB"],"keywords":[],"search_terms":["causal","consistent","rollback","tuple","based","language","giachino","lanese","mezzina","tiezzi"],"title":"Causal-consistent rollback in a tuple-based language","year":2017}