A. Bieniusa, D. Terry, S. Burckhardt, and .. , Applications for geo-replicated systems ? Where are the limits

R. Specifying, A. About-alexander, D. Shvartsman, S. Terry, and .. Burckhardt, Optimizing, and Implementing Atomic Data Services for Distributed Systems, p.20

P. Van, R. M. Dodds, M. Aguilera, and .. , Distributed unification an a basis for transparently managing consistency and replication in distributed systems, p.26

J. W. , P. Sutra, A. Mostefaoui, and .. , Time bounds for shared objects in partially synchronous systems, p.27

J. Daniel and . Abadi, Consistency tradeoffs in modern distributed database system design, Computer, vol.45, issue.2, pp.37-42, 2012.

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

M. K. Aguilera, I. Keidar, D. Malkhi, and A. Shraer, Dynamic atomic storage without consensus, Journal of the ACM, vol.587, pp.1-7, 2011.
DOI : 10.1145/1944345.1944348
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.154.4926

A. Attiya, D. Bar-noy, and . 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

E. Brewer, CAP twelve years later: How the "rules" have changed, Computer, vol.45, issue.2, pp.23-29, 2012.
DOI : 10.1109/MC.2012.37

B. Charron-bost, F. Pedone, and A. Schiper, Replication: Theory and Practice A 30-Year Perspective on Replication, Lecture Notes in Comp. Sc, vol.5959, 2007.
DOI : 10.1007/978-3-642-11294-2

S. B. Davidson, H. Garcia-molina, and D. Skeen, Consistency in a partitioned network: a survey, ACM Computing Surveys, vol.17, issue.3, pp.341-370, 1985.
DOI : 10.1145/5505.5508

S. Dolev, S. Gilbert, N. A. Lynch, A. A. Shvartsman, and J. L. Welch, GeoQuorums: implementing atomic memory in mobile ad hoc networks, Distributed Computing, pp.125-155, 2005.
DOI : 10.1007/978-3-540-39989-6_22
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.7933

N. Gilbert, A. Lynch, and . Shvartsman, Rambo: a robust, reconfigurable atomic memory service for dynamic networks, Distributed Computing, vol.34, issue.1, pp.225-272, 2010.
DOI : 10.1007/s00446-010-0117-1

M. Herlihy, J. B. Eliot, and . Moss, Transactional memory: Architectural support for lock-free data structures, Int. Conf. on Comp. Arch. (ISCA), pp.289-300, 1993.
DOI : 10.1109/isca.1993.698569
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.4448

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.5315

R. Ladin, B. Liskov, L. Shrira, and S. Ghemawat, Providing high availability using lazy replication, ACM Transactions on Computer Systems, vol.10, issue.4, pp.360-391, 1992.
DOI : 10.1145/138873.138877

R. J. Lipton, Reduction: a method of proving properties of parallel programs, Communications of the ACM, vol.18, issue.12, pp.717-721, 1975.
DOI : 10.1145/361227.361234

C. Okasaki, Purely functional data structures, 1999.
DOI : 10.1017/CBO9780511530104
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.505

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://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.2632

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