, Causal memory: definitions, implementation and programming. Distributed Computing, vol.9, pp.37-49, 1995.
An adaptive protocol for implementing causally consistent distributed services, Proc. 18th Int'l Conference on Distributed Computing Systems (ICDCS'98), pp.86-93, 1998. ,
Sharing memory robustly in message passing systems, Journal of the ACM, vol.42, issue.1, pp.121-132, 1995. ,
Sequential consistency versus linearizability, ACM Transactions on Computer Systems, vol.12, issue.2, pp.91-122, 1994. ,
Distributed computing: fundamentals, simulations and advanced topics, 2004. ,
Reliable communication in the presence of failures, ACM Transactions on Computer Systems, vol.5, issue.1, pp.47-76, 1987. ,
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
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. ,
Impossibility of distributed consensus with one faulty process, Journal of the ACM, vol.32, issue.2, pp.374-382, 1985. ,
Notes on database operating systems: an advanced course, LNCS, vol.60, pp.10-17, 1978. ,
Wait-free synchronization, ACM Transactions on Programming Languages and Systems, vol.13, issue.1, pp.124-149, 1991. ,
The art of multiprocessor programming, vol.508, 2008. ,
Linearizability: a correctness condition for concurrent objects, ACM Transactions on Programming Languages and Systems, 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, pp.558-565, 1978. ,
How to make a multiprocessor computer that correctly executes multiprocess programs, IEEE Transactions on Computers, vol.28, issue.9, pp.690-691, 1979. ,
On inter-process communications, part I: basic formalism, Distributed Computing, vol.1, issue.2, pp.77-85, 1986. ,
Axioms for memory access in asynchronous hardware systems, ACM Transactions on Programming Languages and Systems, vol.8, issue.1, pp.142-153, 1986. ,
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
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
Sequential consistency as lazy linearizability, Proc. 14th ACM Symposium on Parallel Algorithms and Architectures (SPAA'02), pp.151-152, 2002. ,
Distributed algorithms for message-passing systems, vol.510, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00922219
Concurrent programming: algorithms, principles and foundations, vol.515, pp.978-981, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00922217
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
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
Synchronization algorithms and concurrent programming. Pearson Education/Prentice Hall, 423 pages, pp.0-131, 2006. ,