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.
Abstract is missing.