Shared memory consistency models: a tutorial, Computer, vol.29, issue.12, 1996. ,
DOI : 10.1109/2.546611
Software Verification for Weak Memory via Program Transformation, ESOP, 2013. ,
DOI : 10.1007/978-3-642-37036-6_28
Library abstraction for C/C++ concurrency, POPL, 2013. ,
DOI : 10.1145/2429069.2429099
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.261.2459
An optimized conflict-free replicated set ,
URL : https://hal.archives-ouvertes.fr/hal-00738680
Brief Announcement: Semantics of Eventually Consistent Replicated Sets, DISC, 2012. ,
DOI : 10.1007/978-3-642-33651-5_48
URL : https://hal.archives-ouvertes.fr/hal-00769554
A formal model for eventual consistency semantics, IASTED PDCS, 2002. ,
Checkfence: checking consistency of concurrent data types on relaxed memory models, PLDI, 2007. ,
Cloud Types for Eventual Consistency, p.2012 ,
DOI : 10.1007/978-3-642-31057-7_14
Understanding eventual consistency, 2013. ,
Replicated data types, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, p.201602 ,
DOI : 10.1145/2535838.2535848
URL : https://hal.archives-ouvertes.fr/hal-00934311
Eventually Consistent Transactions, ESOP, 2012. ,
DOI : 10.1007/978-3-642-28869-2_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.4348
Concerning the size of logical clocks in distributed systems, Information Processing Letters, vol.39, issue.1, 1991. ,
DOI : 10.1016/0020-0190(91)90055-M
Optimal gossip-based aggregate computation, Proceedings of the 22nd ACM symposium on Parallelism in algorithms and architectures, SPAA '10, 2010. ,
DOI : 10.1145/1810479.1810504
URL : http://arxiv.org/abs/1001.3242
Logic and lattices for distributed programming, Proceedings of the Third ACM Symposium on Cloud Computing, SoCC '12, 2012. ,
DOI : 10.1145/2391229.2391230
Eventually-serializable data services, PODC, 1996. ,
DOI : 10.1016/s0304-3975(98)00239-4
URL : http://doi.org/10.1016/s0304-3975(98)00239-4
Dynamo: Amazon's highly available key-value store, SOSP, 2007. ,
Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services, ACM SIGACT News, vol.33, issue.2, 2002. ,
DOI : 10.1145/564585.564601
The space complexity of long-lived and one-shot timestamp implementations, PODC, 2011. ,
Proof of correctness of data representations, Acta Inf, vol.1, 1972. ,
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, 1978. ,
DOI : 10.1145/359545.359563
Making geo-replicated systems fast if possible, consistent when necessary, OSDI, 2012. ,
A rely-guarantee-based simulation for verifying concurrent program transformations, POPL, 2012. ,
Programming with abstract data types, ACM Symposium on Very High Level Languages, 1974. ,
Dynamic synthesis for relaxed memory models, PLDI, 2012. ,
Don't settle for eventual, Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, SOSP '11, 2011. ,
DOI : 10.1145/2043556.2043593
The Java memory model, POPL, 2005. ,
Virtual time and global states of distributed systems. Parallel and Distributed Algorithms, 1989. ,
Taubenfeld, and I. Yadin. Concurrent counting, PODC, 1992. ,
Replicated abstract data types: Building blocks for collaborative applications, Journal of Parallel and Distributed Computing, vol.71, issue.3, p.71, 2011. ,
DOI : 10.1016/j.jpdc.2010.12.006
A comprehensive study of Convergent and Commutative Replicated Data Types, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00555588
Conflictfree replicated data types, SSS, 2011. ,
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, 2011. ,
DOI : 10.1145/2043556.2043592
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.2632
Session guarantees for weakly consistent replicated data, Proceedings of 3rd International Conference on Parallel and Distributed Information Systems, 1994. ,
DOI : 10.1109/PDIS.1994.331722
Managing update conflicts in Bayou, a weakly connected replicated storage system, SOSP, 1995. ,
SwiftCloud: Fault-tolerant georeplication integrated all the way to the client machine, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00870225