M. Ahamad, G. Neiger, J. E. Burns, P. W. Hutto, and K. P. , Causal memory: definitions, implementation and programming. Distributed Computing, vol.9, pp.37-49, 1995.

M. Ahamad, M. Raynal, and G. Thia-kime, An adaptive protocol for implementing causally consistent distributed services, Proc. 18th Int'l Conference on Distributed Computing Systems (ICDCS'98), pp.86-93, 1998.

H. Attiya, A. Bar-noy, and D. Dolev, Sharing memory robustly in message passing systems, Journal of the ACM, vol.42, issue.1, pp.121-132, 1995.

H. Attiya and J. L. Welch, Sequential consistency versus linearizability, ACM Transactions on Computer Systems, vol.12, issue.2, pp.91-122, 1994.

H. Attiya and J. Welch, Distributed computing: fundamentals, simulations and advanced topics, 2004.

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

V. Cholvi, A. Fernández, E. Jiménez, P. Manzano, and M. , A methodological construction of an efficient sequentially consistent distributed shared memory, The Computer Journal, vol.53, issue.9, pp.1523-1534, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00436493

N. Ekström and S. Haridi, A fault-tolerant sequentially consistent DSM with a compositional correctness proof, Proc. 4th Int'l Conference on Networked Systems (NETYS'16), vol.9944, pp.183-192, 2016.

M. J. Fischer, N. A. Lynch, and M. S. Paterson, Impossibility of distributed consensus with one faulty process, Journal of the ACM, vol.32, issue.2, pp.374-382, 1985.

J. Gray, Notes on database operating systems: an advanced course, LNCS, vol.60, pp.10-17, 1978.

M. P. Herlihy, Wait-free synchronization, ACM Transactions on Programming Languages and Systems, vol.13, issue.1, pp.124-149, 1991.

M. P. Herlihy and N. Shavit, The art of multiprocessor programming, vol.508, 2008.

M. P. Herlihy and J. Wing, Linearizability: a correctness condition for concurrent objects, ACM Transactions on Programming Languages and Systems, 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, pp.558-565, 1978.

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.

L. Lamport, On inter-process communications, part I: basic formalism, Distributed Computing, vol.1, issue.2, pp.77-85, 1986.

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.

M. Perrin, M. Petrolia, A. Mostéfaoui, and J. Cl, On composition and implementation of sequential consistency, Proc. 30th Int'l Symposium on Distributed Computing (DISC'16, vol.9888, pp.284-297, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01347069

M. Perrin, A. Mostéfaoui, and J. Cl, Causal consistency: beyond memory, Proc. 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'16), vol.26, p.12, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01286755

M. Raynal, Sequential consistency as lazy linearizability, Proc. 14th ACM Symposium on Parallel Algorithms and Architectures (SPAA'02), pp.151-152, 2002.

M. Raynal, Distributed algorithms for message-passing systems, vol.510, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00922219

M. Raynal, Concurrent programming: algorithms, principles and foundations, vol.515, pp.978-981, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00922217

M. Raynal and A. Schiper, From causal consistency to sequential consistency in shared memory systems, Proc. 15th Int'l Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS), Springer LNCS 1026, pp.180-194, 1995.
URL : https://hal.archives-ouvertes.fr/inria-00074123

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.
URL : https://hal.archives-ouvertes.fr/inria-00075427

G. Taubenfeld, Synchronization algorithms and concurrent programming. Pearson Education/Prentice Hall, 423 pages, pp.0-131, 2006.