Causal Consistency for Reversible Multiparty Protocols. Mezzina, C. A. & Pérez, J. A. Log. Methods Comput. Sci., 2021.
Causal Consistency for Reversible Multiparty Protocols [link]Paper  doi  bibtex   
@article{MezzinaP21,
  author       = {Claudio Antares Mezzina and
                  Jorge A. P{\'{e}}rez},
  title        = {Causal Consistency for Reversible Multiparty Protocols},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {17},
  number       = {4},
  year         = {2021},
  url          = {https://doi.org/10.46298/lmcs-17(4:1)2021},
  doi          = {10.46298/lmcs-17(4:1)2021},
  biburl       = {https://dblp.org/rec/journals/lmcs/MezzinaP21.bib},
}

Downloads: 0