V. Sarita, K. Adve, and . Gharachorloo, Shared memory consistency models: A tutorial, Computer, vol.29, issue.12, pp.66-76, 1996.

A. Adya, Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions, Mass. Institute of Technology, 1999.

M. Ahamad, G. Neiger, J. E. Burns, P. Kohli, and P. W. Hutto, Causal memory, pp.37-49, 1995.
DOI : 10.1007/BFb0022435

P. Bailis, A. Davidson, A. Fekete, A. Ghodsi, J. M. Hellerstein et al., Highly available transactions, Proceedings of the VLDB Endowment, vol.7, issue.3, pp.181-192, 2013.
DOI : 10.14778/2732232.2732237

C. Baquero and F. Moura, Using structural characteristics for autonomous operation, ACM SIGOPS Operating Systems Review, vol.33, issue.4, pp.90-96, 1999.
DOI : 10.1145/334598.334614

D. Barbará-millá and H. Garcia-molina, The demarcation protocol: A technique for maintaining constraints in distributed database systems, The VLDB Journal, vol.11, issue.4, pp.325-353, 1994.
DOI : 10.1007/BF01232643

H. Berenson, P. Bernstein, J. Gray, J. Melton, E. O. Neil et al., A critique of ANSI SQL isolation levels. SIGMOD Rec, pp.1-10, 1995.

J. Brzezinski, C. Sobaniec, and D. Wawrzyniak, From session causality to causal consistency, 12th Euromicro Conference on Parallel, Distributed and Network-Based Processing, 2004. Proceedings., pp.152-158, 2004.
DOI : 10.1109/EMPDP.2004.1271440

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, 2014.
DOI : 10.1145/2535838.2535848

URL : https://hal.archives-ouvertes.fr/hal-00934311

K. Daudjee and K. Salem, Lazy database replication with snapshot isolation, Int. Conf. on Very Large Data Bases (VLDB), pp.715-726, 2006.

A. Fekete, D. Liarokapis, E. O. Neil, P. O. Neil, and D. Shasha, Making snapshot isolation serializable, ACM Transactions on Database Systems, vol.30, issue.2, pp.492-528, 2005.
DOI : 10.1145/1071610.1071615

M. Frigo, The weakest reasonable memory model, 1997.

S. Gilbert and N. Lynch, Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services. SIGACT News, pp.51-59, 2002.

A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, and M. Shapiro, Cause I'm strong enough: Reasoning about consistency choices in distributed systems, In Symp. on Principles of Prog. Lang. (POPL), pp.371-384
URL : https://hal.archives-ouvertes.fr/hal-01243192

J. Gray and A. Reuter, Transaction Processing: Concepts and Techniques, 1993.

R. Hansdah and L. M. Patnaik, Update serializability in locking, Int. Conf. on Database Theory, pp.171-185, 1986.
DOI : 10.1007/3-540-17187-8_36

M. Herlihy and J. Wing, Linearizability: a correctness condition for concurrent objects, ACM Transactions on Programming Languages and Systems, vol.12, issue.3, pp.463-492, 1990.
DOI : 10.1145/78969.78972

R. Paul, R. H. Johnson, and . Thomas, The maintenance of duplicate databases, Internet Request for Comments RFC Information Sciences Institute, vol.677, 1976.

L. Lamport, How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, IEEE Transactions on Computers, vol.28, issue.9, pp.28690-691, 1979.
DOI : 10.1109/TC.1979.1675439

R. Lipton and J. Sandberg, PRAM: A scalable shared memory, 1988.

S. Owicki and D. Gries, Verifying properties of parallel programs: an axiomatic approach, Communications of the ACM, vol.19, issue.5, pp.279-285, 1976.
DOI : 10.1145/360051.360224

C. H. Papadimitriou, The serializability of concurrent database updates, Journal of the ACM, vol.26, issue.4, pp.631-653, 1979.
DOI : 10.1145/322154.322158

F. Pedone, R. Guerraoui, and A. Schiper, The database state machine approach, Distributed and Parallel Databases, vol.14, issue.1, pp.71-98, 2003.
DOI : 10.1023/A:1022887812188

P. Masoud-saeida-ardekani, M. Sutra, and . Shapiro, Non-Monotonic Snapshot Isolation: scalable and strong consistency for geo-replicated transactional systems, Symp. on Reliable Dist. Sys. (SRDS), pp.163-172, 2013.

M. Shapiro, N. Preguiça, C. Baquero, and M. Zawirski, Conflict-Free Replicated Data Types, Int. Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS), volume 6976 of Lecture Notes in Comp. Sc, pp.386-400, 2011.
DOI : 10.1007/978-3-642-24550-3_29

URL : https://hal.archives-ouvertes.fr/inria-00609399

Y. 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

D. B. Terry, A. J. Demers, K. Petersen, M. J. Spreitzer, M. M. Theimer et al., Session guarantees for weakly consistent replicated data, Proceedings of 3rd International Conference on Parallel and Distributed Information Systems, pp.140-149, 1994.
DOI : 10.1109/PDIS.1994.331722

D. B. Terry, M. M. Theimer, K. Petersen, A. J. Demers, M. J. Spreitzer et al., Managing update conflicts in Bayou, a weakly connected replicated storage system, In Symp. on Op. Sys. Principles (SOSP), pp.172-182, 1995.

P. Viotti and M. Vukoli?, Consistency in non-transactional distributed storage systems ArXiv e-print 1512.00168, arXiv.org, 2015.

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