Shared memory consistency models: A tutorial, Computer, vol.29, issue.12, pp.66-76, 1996. ,
Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions, Mass. Institute of Technology, 1999. ,
Causal memory, pp.37-49, 1995. ,
DOI : 10.1007/BFb0022435
Highly available transactions, Proceedings of the VLDB Endowment, vol.7, issue.3, pp.181-192, 2013. ,
DOI : 10.14778/2732232.2732237
Using structural characteristics for autonomous operation, ACM SIGOPS Operating Systems Review, vol.33, issue.4, pp.90-96, 1999. ,
DOI : 10.1145/334598.334614
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
A critique of ANSI SQL isolation levels. SIGMOD Rec, pp.1-10, 1995. ,
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
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
Lazy database replication with snapshot isolation, Int. Conf. on Very Large Data Bases (VLDB), pp.715-726, 2006. ,
Making snapshot isolation serializable, ACM Transactions on Database Systems, vol.30, issue.2, pp.492-528, 2005. ,
DOI : 10.1145/1071610.1071615
The weakest reasonable memory model, 1997. ,
Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services. SIGACT News, pp.51-59, 2002. ,
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
Transaction Processing: Concepts and Techniques, 1993. ,
Update serializability in locking, Int. Conf. on Database Theory, pp.171-185, 1986. ,
DOI : 10.1007/3-540-17187-8_36
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
The maintenance of duplicate databases, Internet Request for Comments RFC Information Sciences Institute, vol.677, 1976. ,
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
PRAM: A scalable shared memory, 1988. ,
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
The serializability of concurrent database updates, Journal of the ACM, vol.26, issue.4, pp.631-653, 1979. ,
DOI : 10.1145/322154.322158
The database state machine approach, Distributed and Parallel Databases, vol.14, issue.1, pp.71-98, 2003. ,
DOI : 10.1023/A:1022887812188
Non-Monotonic Snapshot Isolation: scalable and strong consistency for geo-replicated transactional systems, Symp. on Reliable Dist. Sys. (SRDS), pp.163-172, 2013. ,
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
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
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
Managing update conflicts in Bayou, a weakly connected replicated storage system, In Symp. on Op. Sys. Principles (SOSP), pp.172-182, 1995. ,
Consistency in non-transactional distributed storage systems ArXiv e-print 1512.00168, arXiv.org, 2015. ,
Eventually Consistent, Queue, vol.6, issue.6, pp.14-19, 2008. ,
DOI : 10.1145/1466443.1466448