Christian Cachin, Olga Ohrimenko. Verifying the Consistency of Remote Untrusted Services with Commutative Operations. In Marcos K. Aguilera, Leonardo Querzoni, Marc Shapiro, editors, Principles of Distributed Systems - 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings. Volume 8878 of Lecture Notes in Computer Science, pages 1-16, Springer, 2014. [doi]
Abstract is missing.