[. Attiya, A. Bar-noy, and D. Dolev, Sharing memory robustly in message-passing systems, Journal of the ACM, vol.42, issue.1, pp.124-142, 1995.
DOI : 10.1145/200836.200869

H. Attiya and R. Friedman, A correctness condition for high-performance multiprocessors (extended abstract), Proceedings of the twenty-fourth annual ACM symposium on Theory of computing , STOC '92, pp.679-690, 1992.
DOI : 10.1145/129712.129778

P. Khaled-aslan, H. Molli, S. Skaf-molli, and . Weiss, C-set: a commutative replicated data type for semantic stores, RED: Fourth International Workshop on REsource Discovery, 2011.

G. Ahamad, . Neiger, E. James, P. Burns, . Kohli et al., Causal memory: definitions, implementation, and programming, Distributed Computing, pp.37-49, 1995.
DOI : 10.1007/BF01784241
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.3356

H. Attiya and J. Welch, Distributed Computing: Fundamentals, Simulations and Advanced Topics, 2004.
DOI : 10.1002/0471478210

[. 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, 2014.
DOI : 10.1145/2535838.2535848
URL : https://hal.archives-ouvertes.fr/hal-00934311

P. Kenneth, T. A. Birman, and . Joseph, Reliable communication in the presence of failures, ACM Trans. Comput. Syst, vol.5, issue.1, pp.47-76, 1987.

. A. Eric and . Brewer, Towards robust distributed systems (abstract), Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, PODC '00, p.7, 2000.

[. Birman, A. Schiper, and P. Stephenson, Lightweight causal and atomic group multicast, ACM Trans. Comput. Syst, vol.9, issue.3, pp.272-314, 1991.

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

G. Decandia, D. Hastorun, M. Jampani, G. Kakulapati, A. Lakshman et al., Dynamo, ACM SIGOPS Operating Systems Review, vol.41, issue.6, pp.205-220, 2007.
DOI : 10.1145/1323293.1294281

R. Friedman, F. Ta¨?anita¨?ani, and M. , Fisheye Consistency: Keeping Data in Synch in a Georeplicated World, Proc. Third Int'l Conference on Networked Systems (NETYS'15), pp.237-251, 2015.
DOI : 10.1007/978-3-319-26850-7_17
URL : https://hal.archives-ouvertes.fr/hal-01326888

R. James and . Goodman, Cache consistency and sequential consistency, 1991.

M. Herlihy, Wait-free synchronization, ACM Transactions on Programming Languages and Systems, vol.13, issue.1, pp.124-149, 1991.
DOI : 10.1145/114005.102808

M. Herlihy and N. Shavit, The art of multiprocessor programming, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing , PODC '06, 2008.
DOI : 10.1145/1146381.1146382

A. Karsenty and M. Beaudouin-lafon, An algorithm for distributed groupware applications, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems, 1993.
DOI : 10.1109/ICDCS.1993.287708

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

[. Lakshman and P. Malik, Cassandra, ACM SIGOPS Operating Systems Review, vol.44, issue.2, pp.35-40, 2010.
DOI : 10.1145/1773912.1773922

J. Richard, . Lipton, S. Jonathan, and . Sandberg, PRAM: A scalable shared memory, 1988.

. A. Nancy and . Lynch, Distributed Algorithms, 1996.

[. Li, L. Zhou, R. Richard, and . Muntz, A new paradigm of user intention preservation in realtime collaborative editing systems, Proceedings Seventh International Conference on Parallel and Distributed Systems (Cat. No.PR00568), pp.401-408, 2000.
DOI : 10.1109/ICPADS.2000.857723

H. George and . Mealy, A method for synthesizing sequential circuits, Bell System Technical Journal, vol.34, issue.5, pp.1045-1079, 1955.

G. Mss14-]-madhavan-mukund, S. Shenoy, and . Suresh, Optimized or-sets without ordering constraints, Distributed Computing and Networking, pp.227-241, 2014.

M. Mizuno, J. Z. Zhou, and M. Raynal, Sequential consistency in distributed systems, 1995.
DOI : 10.1007/3-540-60042-6_16
URL : https://hal.archives-ouvertes.fr/inria-00074237

M. Perrin, A. Mostéfaoui, and C. Jard, Update consistency for waitfree concurrent objects, 2015 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2015, pp.219-228, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01101657

M. Perrin, M. Petrolia, C. Jard, and A. Mostéfaoui, Consistent shared data types: Beyond memory, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01052437

M. Raynal, Concurrent Programming: Algorithms, Principles, and Foundations, 2012.
DOI : 10.1007/978-3-642-32027-9
URL : https://hal.archives-ouvertes.fr/hal-00922217

M. Raynal, Distributed Algorithms for Message-Passing Systems, 2013.
DOI : 10.1007/978-3-642-38123-2
URL : https://hal.archives-ouvertes.fr/hal-00922219

M. Raynal, A. Schiper, and S. Toueg, The causal ordering abstraction and a simple way to implement it, Information Processing Letters, vol.39, issue.6, pp.343-350, 1991.
DOI : 10.1016/0020-0190(91)90008-6
URL : https://hal.archives-ouvertes.fr/inria-00075427

X. Sun, Y. Jia, Y. Zhang, D. Yang, and . Chen, Achieving convergence, causality preservation, and intention preservation in real-time cooperative editing systems, ACM Transactions on Computer-Human Interaction, vol.5, issue.1, pp.63-108, 1998.
DOI : 10.1145/274444.274447

[. Sovran, R. Power, M. K. Aguilera, and J. Li, Transactional storage for geo-replicated systems, Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, SOSP '11, pp.385-400, 2011.
DOI : 10.1145/2043556.2043592
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.2632

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. Preguiça, C. Baquero, and M. Zawirski, Conflict-Free Replicated Data Types, Stabilization, Safety, and Security of Distributed Systems, pp.386-400, 2011.
DOI : 10.1007/978-3-642-24550-3_29
URL : https://hal.archives-ouvertes.fr/inria-00609399

T. Gene, . Wuu, J. Arthur, and . Bernstein, Efficient solutions to the replicated log and dictionary problems. Operating systems review, pp.57-66, 1986.

C. Xie, C. Su, M. Kapritsos, Y. Wang, N. Yaghmazadeh et al., Salt: Combining acid and base in a distributed database, 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14), pp.495-509, 2014.