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

M. Ahamad, G. Neiger, J. E. Burns, P. Kohli, and P. W. Hutto, Causal memory: definitions, implementation, and programming, Distributed Computing, pp.37-49, 1995.
DOI : 10.1007/3-540-56188-9_23

URL : http://web.cps.msu.edu/~wrightr7/cps822/GIT-CC-93-55.ps

H. Attiya, A. Bar-noy, and D. Dolev, Sharing memory robustly in message-passing systems, 1990.

H. Attiya, E. Hillel, and A. Milani, Inherent limitations on disjointaccess parallel implementations of transactional memory, Proceedings of the Twenty-first Annual Symposium on Parallelism in Algorithms and Architectures , SPAA '09, pp.69-78, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00992674

A. Cerone and A. Gotsman, Analysing snapshot isolation, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, PODC 2016, pp.55-64, 2016.
DOI : 10.1145/3152396

A. Chan and R. Gray, Implementing Distributed Read-Only Transactions, IEEE Transactions on Software Engineering, vol.11, issue.2, pp.205-212, 1985.
DOI : 10.1109/TSE.1985.232196

V. Tushar-deepak-chandra, S. Hadzilacos, and . Toueg, The weakest failure detector for solving consensus, Journal of the ACM, vol.43, issue.4, pp.685-722, 1996.
DOI : 10.1145/234533.234549

B. Charron-bost, Concerning the size of logical clocks in distributed systems, Information Processing Letters, vol.39, issue.1, pp.11-160020, 1991.
DOI : 10.1016/0020-0190(91)90055-M

K. Panos, K. Chrysanthis, and . Ramamritham, Synthesis of Extended Transaction Models Using ACTA, ACM Trans. Database Syst, vol.19, issue.3, pp.450-491, 1994.

J. C. Corbett, J. Dean, M. Epstein, A. Fikes, C. Frost et al., Spanner, Symp. on Op. Sys. Design and Implementation (OSDI), pp.251-264, 2012.
DOI : 10.1145/2518037.2491245

K. Daudjee and K. Salem, Lazy database replication with snapshot isolation, Proceedings of the 32Nd International Conference on Very Large Data Bases, VLDB '06, pp.715-726, 2006.

C. Delporte-gallet, H. Fauconnier, R. Guerraoui, V. Hadzilacos, P. Kouznetsov et al., The weakest failure detectors to solve certain fundamental problems in distributed computing, Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing , PODC '04, pp.338-346, 2004.
DOI : 10.1145/1011767.1011818

A. Fekete, D. Gupta, V. Luchangco, N. Lynch, and A. Shvartsman, Eventually-serializable data services, Theoretical Computer Science, vol.220, issue.1, pp.113-156, 1999.
DOI : 10.1016/S0304-3975(98)00239-4

URL : https://doi.org/10.1016/s0304-3975(98)00239-4

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

URL : http://www.cs.uoregon.edu/classes/06W/cis607atom/readings/fekete-snapshot-serializable.pdf

M. J. Fischer, N. A. Lynch, and M. S. Patterson, Impossibility of distributed consensus with one faulty process, Journal of the ACM, vol.32, issue.2, pp.374-382, 1985.
DOI : 10.1145/3149.214121

C. Felix, R. Freiling, P. Guerraoui, and . Kuznetsov, The failure detector abstraction, ACM Comput. Surv, vol.439, issue.2, pp.1-9, 2011.

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, Proceedings of the 43rd Annual ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages, POPL '16, pp.371-384
URL : https://hal.archives-ouvertes.fr/hal-01243192

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

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

R. Guerraoui and M. Kapalka, On the correctness of transactional memory, Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming , PPoPP '08, pp.175-184, 2008.
DOI : 10.1145/1345206.1345233

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

A. Israeli and L. Rappoport, Disjoint-access-parallel implementations of strong shared memory primitives, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing , PODC '94, pp.151-160, 1994.
DOI : 10.1145/197917.198079

B. Kemme and G. Alonso, A suite of database replication protocols based on group communication primitives, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183), pp.156-163, 1998.
DOI : 10.1109/ICDCS.1998.679498

R. Ladin, B. Liskov, and L. Shrira, Lazy replication, Proceedings of the 4th workshop on ACM SIGOPS European workshop , EW 4, pp.4-7
DOI : 10.1145/504136.504138

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

L. Lamport, On interprocess communication, Distributed Computing, vol.21, issue.2, pp.77-85, 1986.
DOI : 10.1007/3-540-10235-3

URL : http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA156337&Location=U2&doc=GetTRDoc.pdf

L. Lamport, Lower bounds for asynchronous consensus, Distributed Computing, vol.66, issue.10, pp.104-125, 2006.
DOI : 10.1007/s00446-006-0155-x

URL : http://research.microsoft.com/en-us/um/people/lamport/pubs/lower-bound.pdf

J. Murty, Programming Amazon Web Services. O'Reilly, first edition, 2008.

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

S. Peluso, R. Palmieri, P. Romano, B. Ravindran, and F. Quaglia, Disjoint-Access Parallelism, Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, PODC '15, pp.217-226
DOI : 10.1145/224964.224987

P. Masoud-saeida-ardekani, M. Sutra, and . Shapiro, On the Scalability of Snapshot Isolation, Proceedings of the 19th International Euro-Par Conference (EUROPAR), 2013.
DOI : 10.1007/978-3-642-40047-6_39

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

P. Masoud-saeida-ardekani, M. Sutra, . Shapiro, and . G-dur, A Middleware for Assembling, Analyzing, and Improving Transactional Protocols, Proceedings of the 15th International Middleware Conference, Middleware '14, pp.13-24

N. Schiper, P. Sutra, and F. Pedone, P-Store: Genuine Partial Replication in Wide Area Networks, 2010 29th IEEE Symposium on Reliable Distributed Systems, 2010.
DOI : 10.1109/SRDS.2010.32

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

M. Shapiro, N. Preguiça, C. Baquero, and M. Zawirski, Conflictfree replicated data types, Int. Symp. on Stabilization, Safety, and Security of Dist. Sys. (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/hal-00932836

M. Shapiro, M. Saeida-ardekani, and G. Petri, Consistency in 3D, Int. Conf. on Concurrency Theory (CONCUR), volume 59 of Leibniz Int. Proc. in Informatics (LIPICS) Schloss Dagstuhl ? Leibniz-Zentrum für Informatik, pp.1-3, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01343592

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

URL : http://research.microsoft.com/en-us/people/aguilera/walter-sosp2011.pdf

B. B. Theimer and . Welch, Session guarantees for weakly consistent replicated data, Int. Conf. on Para. and Dist. Info. Sys. (PDIS), pp.140-149

P. Viotti and M. Vukoli´cvukoli´c, Consistency in Non-Transactional Distributed Storage Systems, ACM Computing Surveys, vol.49, issue.1, pp.1-19, 2016.
DOI : 10.1145/2814576.2814733

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

URL : http://dl.acm.org/ft_gateway.cfm?id=1466448&type=pdf

J. Wang, E. Talmage, H. Lee, and J. L. Welch, Improved Time Bounds for Linearizable Implementations of Abstract Data Types, 2014 IEEE 28th International Parallel and Distributed Processing Symposium, pp.691-701, 2014.
DOI : 10.1109/IPDPS.2014.77

M. Wiesmann and A. Schiper, Comparison of database replication techniques based on total order broadcast, IEEE Transactions on Knowledge and Data Engineering, vol.17, issue.4, pp.551-566, 2005.
DOI : 10.1109/TKDE.2005.54

F. Zemke, What.s new in SQL:2011, ACM SIGMOD Record, vol.41, issue.1, pp.67-73, 2012.
DOI : 10.1145/2206869.2206883