Causal-consistent rollback in a tuple-based language. Giachino, E., Lanese, I., Mezzina, C. A., & Tiezzi, F. J. Log. Algebraic Methods Program., 88:99–120, 2017.
Causal-consistent rollback in a tuple-based language [link]Paper  doi  bibtex   
@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}
}

Downloads: 0