A. Bieniusa, M. Zawirski, N. M. Preguiça, M. Shapiro, C. Baquero et al., Brief Announcement: Semantics of Eventually Consistent Replicated Sets, Lecture Notes in Computer Science, vol.7611, pp.441-442, 2012.
DOI : 10.1007/978-3-642-33651-5_48
URL : https://hal.archives-ouvertes.fr/hal-00769554

A. Bieniusa, M. Zawirski, N. M. Preguiça, M. Shapiro, C. Baquero et al., An optimized conflict-free replicated set, 1210.
URL : https://hal.archives-ouvertes.fr/hal-00738680

A. Bouajjani, C. Enea, and J. Hamza, Verifying eventual consistency of optimistic replication systems, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.285-296
DOI : 10.1145/2535838.2535877

S. Burckhardt, A. Gotsman, H. Yang, and M. Zawirski, Replicated data types, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.271-284
DOI : 10.1145/2535838.2535848
URL : https://hal.archives-ouvertes.fr/hal-00934311

S. Gilbert and N. A. Lynch, Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services, ACM SIGACT News, vol.33, issue.2, pp.51-59, 2002.
DOI : 10.1145/564585.564601

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

C. Meiklejohn, Distributed data structures with Coq, 2013.

T. Nipkow, L. C. Paulson, and M. Wenzel, Isabelle/HOL ? A Proof Assistant for Higher-Order Logic, LNCS, vol.2283, 2002.

Y. Saito and M. Shapiro, Optimistic replication, ACM Computing Surveys, vol.37, issue.1, pp.42-81, 2005.
DOI : 10.1145/1057977.1057980
URL : https://hal.archives-ouvertes.fr/inria-00444768

M. Shapiro, N. Preguiça, C. Baquero, and M. Zawirski, A comprehensive study of Convergent and Commutative Replicated Data Types, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00555588

M. Shapiro, N. M. Preguiça, C. Baquero, and M. Zawirski, Conflict-Free Replicated Data Types, SSS, pp.386-400, 2011.
DOI : 10.1007/978-3-642-24550-3_29
URL : https://hal.archives-ouvertes.fr/inria-00609399

D. B. Terry, M. Theimer, K. Petersen, A. J. Demers, M. Spreitzer et al., Managing update conflicts in bayou, a weakly connected replicated storage system, SOSP, pp.172-183, 1995.

W. Vogels, Eventually Consistent, Queue, vol.6, issue.6, pp.14-19, 2008.
DOI : 10.1145/1466443.1466448

P. Zeller and T. Kaiserslautern, Specification and Verification of Convergent Replicated Data Types