Shared memory consistency models: A tutorial, computer, vol.29, issue.12, pp.66-76, 1996. ,
Causal memory: definitions, implementation, and programming, Distributed Computing, pp.37-49, 1995. ,
DOI : 10.1007/BF01784241
Sequential consistency versus linearizability, ACM Transactions on Computer Systems, vol.12, issue.2, pp.91-122, 1994. ,
DOI : 10.1145/176575.176576
Reliable communication in the presence of failures, ACM Transactions on Computer Systems (TOCS), vol.5, issue.1, pp.47-76, 1987. ,
Foundations of the C++ concurrency memory model, Proc. of the ACM SIGPLAN 2008 Conf. on Programming Language Design and Implementation (PLDI08), pp.68-78, 2008. ,
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
Impossibility of distributed consensus with one faulty process, Journal of the ACM (JACM), vol.32, issue.2, pp.374-382, 1985. ,
Reducing False Causality in Causal Message Ordering, High Performance ComputingHiPC, pp.61-72, 2000. ,
DOI : 10.1007/3-540-44467-X_6
Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services, ACM SIGACT News, vol.33, issue.2, pp.51-59, 2002. ,
DOI : 10.1145/564585.564601
Reliable Broadcast and Related Problems, 1993. ,
Wait-free synchronization, ACM Transactions on Programming Languages and Systems, vol.13, issue.1, pp.124-149, 1991. ,
DOI : 10.1145/114005.102808
Technical perspectiveHighly concurrent data structures, Communications of the ACM, vol.52, issue.5, p.99, 2009. ,
DOI : 10.1145/1506409.1506430
Linearizability: A correctness condition for concurrent objects, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.12, issue.3, pp.463-492, 1990. ,
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
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
PRAM: A scalable shared memory, 1988. ,
A method for synthesizing sequential circuits, Bell System Technical Journal, vol.34, issue.5, pp.1045-1079, 1955. ,
Axioms for memory access in asynchronous hardware systems, ACM Transactions on Programming Languages and Systems, vol.8, issue.1, pp.142-153, 1986. ,
DOI : 10.1145/5001.5007
Update Consistency for Wait-Free Concurrent Objects, 2015 IEEE International Parallel and Distributed Processing Symposium, 2015. ,
DOI : 10.1109/IPDPS.2015.39
URL : https://hal.archives-ouvertes.fr/hal-01101657
The causal ordering abstraction and a simple way to implement it, Information Processing Letters, vol.39, issue.6, pp.343-350, 1991. ,
DOI : 10.1016/0020-0190(91)90008-6
URL : https://hal.archives-ouvertes.fr/inria-00075427
Relaxed-memory concurrency and verified compilation, Proc. of the 38th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages , POPL 2011, pp.43-54, 2011. ,
Conflict-Free Replicated Data Types, Stabilization, Safety, and Security of Distributed Systems -13th International Symposium , SSS 2011. Proceedings, pp.386-400, 2011. ,
DOI : 10.1007/978-3-642-24550-3_29
URL : https://hal.archives-ouvertes.fr/inria-00609399
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
Session guarantees for weakly consistent replicated data, Parallel and Distributed Information Systems Proceedings of the Third International Conference on, pp.140-149, 1994. ,