A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, and M. Shapiro, Cause I'M Strong Enough: Reasoning About Consistency Choices in Distributed Systems, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '16. St, pp.371-384, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01243192

. Boogie, url: https://github.com/boogie-org/boogie, 2017.

M. Najafzadeh, A. Gotsman, H. Yang, C. Ferreira, and M. Shapiro, The CISE tool, Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC '16, pp.1-2, 2016.
DOI : 10.1145/2517349.2522731
URL : https://hal.archives-ouvertes.fr/hal-01350636

M. Najafzadeh, The Analysis and Co-design of Weakly-Consistent Applications " . Theses, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01425989

G. Marcelino, V. Balegas, and C. Ferreira, Bringing Hybrid Consistency Closer to Programmers, Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data , PaPoC'17, pp.1-6, 2017.
DOI : 10.1145/3064889.3064896

R. Leino, This is Boogie 2 url: https : / / www . microsoft.com/en-us, Microsoft Research, 2008.

E. O. Patrick and . Neil, The Escrow Transactional Method, In: ACM Trans. Database Syst, vol.11, issue.4, pp.405-430, 1986.

V. Balegas, D. Serra, S. Duarte, C. Ferreira, M. Shapiro et al., Extending Eventually Consistent Cloud Databases for Enforcing Numeric Invariants, 2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS), pp.2015-2046
DOI : 10.1109/SRDS.2015.32
URL : https://hal.archives-ouvertes.fr/hal-01248192

M. Shapiro, N. Preguiça, C. Baquero, and M. Zawirski, Conflict-Free Replicated Data Types, Proceedings of the 13th International Conference on Stabilization, Safety, and Security of Distributed Systems. SSS'11, pp.386-400, 2011.
DOI : 10.1145/800222.806750
URL : https://hal.archives-ouvertes.fr/hal-00932836

H. Roh, M. Jeon, J. Kim, and J. Lee, Replicated abstract data types: Building blocks for collaborative applications, Journal of Parallel and Distributed Computing, vol.71, issue.3, pp.354-368, 2011.
DOI : 10.1016/j.jpdc.2010.12.006

V. Gomes, M. Kleppmann, D. Mulligan, and A. Beresfordn, Verifying strong eventual consistency in distributed systems, Proceedings of the ACM on Programming Languages, vol.1, issue.OOPSLA, 2011.
DOI : 10.1007/978-3-662-43613-4_3