Applications for geo-replicated systems ? Where are the limits ,
Optimizing, and Implementing Atomic Data Services for Distributed Systems, p.20 ,
Distributed unification an a basis for transparently managing consistency and replication in distributed systems, p.26 ,
Time bounds for shared objects in partially synchronous systems, p.27 ,
Consistency tradeoffs in modern distributed database system design, Computer, vol.45, issue.2, pp.37-42, 2012. ,
Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions, Mass. Institute of Technology, 1999. ,
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
Sharing memory robustly in message-passing systems, Journal of the ACM, vol.42, issue.1, pp.124-142, 1995. ,
DOI : 10.1145/200836.200869
CAP twelve years later: How the "rules" have changed, Computer, vol.45, issue.2, pp.23-29, 2012. ,
DOI : 10.1109/MC.2012.37
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
Consistency in a partitioned network: a survey, ACM Computing Surveys, vol.17, issue.3, pp.341-370, 1985. ,
DOI : 10.1145/5505.5508
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
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
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
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
Providing high availability using lazy replication, ACM Transactions on Computer Systems, vol.10, issue.4, pp.360-391, 1992. ,
DOI : 10.1145/138873.138877
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
Purely functional data structures, 1999. ,
DOI : 10.1017/CBO9780511530104
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.62.505
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
Eventually Consistent, Queue, vol.6, issue.6, pp.14-19, 2008. ,
DOI : 10.1145/1466443.1466448