Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions, 1999. ,
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
Sharing memory robustly in message-passing systems, 1990. ,
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
Analysing snapshot isolation, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, PODC 2016, pp.55-64, 2016. ,
DOI : 10.1145/3152396
Implementing Distributed Read-Only Transactions, IEEE Transactions on Software Engineering, vol.11, issue.2, pp.205-212, 1985. ,
DOI : 10.1109/TSE.1985.232196
The weakest failure detector for solving consensus, Journal of the ACM, vol.43, issue.4, pp.685-722, 1996. ,
DOI : 10.1145/234533.234549
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
Synthesis of Extended Transaction Models Using ACTA, ACM Trans. Database Syst, vol.19, issue.3, pp.450-491, 1994. ,
Spanner, Symp. on Op. Sys. Design and Implementation (OSDI), pp.251-264, 2012. ,
DOI : 10.1145/2518037.2491245
Lazy database replication with snapshot isolation, Proceedings of the 32Nd International Conference on Very Large Data Bases, VLDB '06, pp.715-726, 2006. ,
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
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
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
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
The failure detector abstraction, ACM Comput. Surv, vol.439, issue.2, pp.1-9, 2011. ,
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, 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
Transaction Processing: Concepts and Techniques ,
Transaction Processing: Concepts and Techniques ,
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
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
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
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
Lazy replication, Proceedings of the 4th workshop on ACM SIGOPS European workshop , EW 4, pp.4-7 ,
DOI : 10.1145/504136.504138
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
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
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
Programming Amazon Web Services. O'Reilly, first edition, 2008. ,
The serializability of concurrent database updates, Journal of the ACM, vol.26, issue.4 ,
DOI : 10.1145/322154.322158
Disjoint-Access Parallelism, Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, PODC '15, pp.217-226 ,
DOI : 10.1145/224964.224987
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
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. ,
A Middleware for Assembling, Analyzing, and Improving Transactional Protocols, Proceedings of the 15th International Middleware Conference, Middleware '14, pp.13-24 ,
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
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
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
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
Session guarantees for weakly consistent replicated data, Int. Conf. on Para. and Dist. Info. Sys. (PDIS), pp.140-149 ,
Consistency in Non-Transactional Distributed Storage Systems, ACM Computing Surveys, vol.49, issue.1, pp.1-19, 2016. ,
DOI : 10.1145/2814576.2814733
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
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
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
What.s new in SQL:2011, ACM SIGMOD Record, vol.41, issue.1, pp.67-73, 2012. ,
DOI : 10.1145/2206869.2206883