@article{jlamp2017-revKlaim,
  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},
  url_pdf   = {fulltext/jlamp2017-klaimrev.pdf},    
  keywords  = {Process calculi, Reversible computing}    
}

{"_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","url_pdf":"fulltext/jlamp2017-klaimrev.pdf","keywords":"Process calculi, Reversible computing","bibtex":"@article{jlamp2017-revKlaim,\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 url_pdf = {fulltext/jlamp2017-klaimrev.pdf}, \n keywords = {Process calculi, Reversible computing} \n}\n\n","author_short":["Giachino, E.","Lanese, I.","Mezzina, C. A.","Tiezzi, F."],"key":"jlamp2017-revKlaim","id":"jlamp2017-revKlaim","bibbaseid":"giachino-lanese-mezzina-tiezzi-causalconsistentrollbackinatuplebasedlanguage-2017","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.jlamp.2016.09.003"," pdf":"https://www.cs.unibo.it/~lanese/newpublications/fulltext/jlamp2017-klaimrev.pdf"},"keyword":["Process calculi","Reversible computing"],"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"article","biburl":"https://www.cs.unibo.it/~lanese/newpublications/mybib.bib","dataSources":["xs35HrYTZDE2HTSYB","xnhiQv9oHMigrP4yD"],"keywords":["process calculi","reversible computing"],"search_terms":["causal","consistent","rollback","tuple","based","language","giachino","lanese","mezzina","tiezzi"],"title":"Causal-consistent rollback in a tuple-based language","year":2017,"downloads":3}