Eventual Consistency Formalized

Edel Sherratt, Andreas Prinz 0001. Eventual Consistency Formalized. In Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt, editors, System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 - 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings. Volume 11753 of Lecture Notes in Computer Science, pages 249-265, Springer, 2019. [doi]

@inproceedings{SherrattP19,
  title = {Eventual Consistency Formalized},
  author = {Edel Sherratt and Andreas Prinz 0001},
  year = {2019},
  doi = {10.1007/978-3-030-30690-8_15},
  url = {https://doi.org/10.1007/978-3-030-30690-8_15},
  researchr = {https://researchr.org/publication/SherrattP19},
  cites = {0},
  citedby = {0},
  pages = {249-265},
  booktitle = {System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 - 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings},
  editor = {Pau Fonseca i Casas and Maria-Ribera Sancho and Edel Sherratt},
  volume = {11753},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-30690-8},
}