PRAM: A scalable shared memory, 1988. ,
Sequential consistency versus linearizability, ACM Transactions on Computer Systems, vol.12, issue.2, pp.91-122, 1994. ,
DOI : 10.1145/176575.176576
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.4969
Sharing memory robustly in message-passing systems, Journal of the ACM, vol.42, issue.1, pp.124-142, 1995. ,
DOI : 10.1145/200836.200869
Eventually consistent, pp.14-19, 2008. ,
DOI : 10.1145/1466443.1466448
Causal memory: definitions, implementation, and programming, Distributed Computing, pp.37-49, 1995. ,
DOI : 10.1007/BF01784241
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.3356
Wait-free synchronization, ACM Transactions on Programming Languages and Systems, vol.13, issue.1, pp.124-149, 1991. ,
DOI : 10.1145/114005.102808
Dynamo: amazon's highly available key-value store, ACM SIGOPS Operating Systems Review, pp.205-220, 2007. ,
Conflict-Free Replicated Data Types, Stabilization, Safety, and Security of Distributed Systems, pp.386-400, 2011. ,
DOI : 10.1007/978-3-642-24550-3_29
URL : https://hal.archives-ouvertes.fr/inria-00609399
A comprehensive study of convergent and commutative replicated data types, INRIA, Tech. Rep, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00555588
Achieving convergence, causality preservation, and intention preservation in real-time cooperative editing systems, ACM Transactions on Computer-Human Interaction, vol.5, issue.1, pp.63-108, 1998. ,
DOI : 10.1145/274444.274447
A new paradigm of user intention preservation in realtime collaborative editing systems, Proceedings Seventh International Conference on Parallel and Distributed Systems (Cat. No.PR00568), pp.401-408, 2000. ,
DOI : 10.1109/ICPADS.2000.857723
An optimized conflict-free replicated set, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00738680
Replicated data types, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.271-284, 2014. ,
DOI : 10.1145/2535838.2535848
URL : https://hal.archives-ouvertes.fr/hal-00934311
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,
DOI : 10.1145/359545.359563
Consistent shared data types: Beyond memory, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01052437
A method for synthesizing sequential circuits, The Bell System Technical Journal, vol.34, issue.5, pp.1045-1079, 1955. ,
DOI : 10.1002/j.1538-7305.1955.tb03788.x
Brief announcement: Update consistency in partitionable systems, Proceedings of the 28th International Symposium on Distributed Computing, p.546, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01079112
Efficient solutions to the replicated log and dictionary problems Operating systems review, pp.57-66, 1986. ,
C-set: a commutative replicated data type for semantic stores, RED: Fourth International Workshop on REsource Discovery, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00594590
Optimized orsets without ordering constraints, Distributed Computing and Networking, pp.227-241, 2014. ,
DOI : 10.1007/978-3-642-45249-9_15
Cache consistency and sequential consis- tency, 1991. ,
An algorithm for distributed groupware applications, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems, 1993. ,
DOI : 10.1109/ICDCS.1993.287708