V. Sarita, K. Adve, and . Gharachorloo, Shared memory consistency models: A tutorial, computer, vol.29, issue.12, pp.66-76, 1996.

M. Ahamad, G. Neiger, E. James, P. Burns, . Kohli et al., Causal memory: definitions, implementation, and programming, Distributed Computing, pp.37-49, 1995.
DOI : 10.1007/BF01784241

H. Attiya, L. Jennifer, and . Welch, Sequential consistency versus linearizability, ACM Transactions on Computer Systems, vol.12, issue.2, pp.91-122, 1994.
DOI : 10.1145/176575.176576

P. Kenneth, . Birman, A. Thomas, and . Joseph, Reliable communication in the presence of failures, ACM Transactions on Computer Systems (TOCS), vol.5, issue.1, pp.47-76, 1987.

H. Boehm and S. V. Adve, 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.

S. Burckhardt, A. Gotsman, H. Yang, and M. Zawirski, 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

J. Michael, . Fischer, A. Nancy, . Lynch, S. Michael et al., Impossibility of distributed consensus with one faulty process, Journal of the ACM (JACM), vol.32, issue.2, pp.374-382, 1985.

P. Gambhire, D. Ajay, and . Kshemkalyani, Reducing False Causality in Causal Message Ordering, High Performance ComputingHiPC, pp.61-72, 2000.
DOI : 10.1007/3-540-44467-X_6

S. Gilbert and N. Lynch, 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

V. Hadzilacos and T. Sam, Reliable Broadcast and Related Problems, 1993.

M. Herlihy, Wait-free synchronization, ACM Transactions on Programming Languages and Systems, vol.13, issue.1, pp.124-149, 1991.
DOI : 10.1145/114005.102808

M. Herlihy, Technical perspectiveHighly concurrent data structures, Communications of the ACM, vol.52, issue.5, p.99, 2009.
DOI : 10.1145/1506409.1506430

P. Maurice, J. M. Herlihy, and . Wing, Linearizability: A correctness condition for concurrent objects, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.12, issue.3, pp.463-492, 1990.

L. Lamport, 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

L. Lamport, 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

J. Richard, . Lipton, S. Jonathan, and . Sandberg, PRAM: A scalable shared memory, 1988.

H. George and . Mealy, A method for synthesizing sequential circuits, Bell System Technical Journal, vol.34, issue.5, pp.1045-1079, 1955.

J. Misra, 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

M. Perrin, A. Mostéfaoui, and C. Jard, 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

M. Raynal, A. Schiper, and S. Toueg, 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

J. Sevcík, V. Vafeiadis, F. Z. Nardelli, S. Jagannathan, and P. Sewell, 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.

M. Shapiro, N. M. Preguiça, C. Baquero, and M. Zawirski, 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

C. Sun, X. Jia, Y. Zhang, Y. Yang, and D. Chen, 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

B. Douglas, A. J. Terry, K. Demers, M. J. Petersen, . Spreitzer et al., Session guarantees for weakly consistent replicated data, Parallel and Distributed Information Systems Proceedings of the Third International Conference on, pp.140-149, 1994.