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}, }