S. Adve and K. Gharachorloo, Shared memory consistency models: a tutorial, Computer, vol.29, issue.12, pp.66-76, 1996.
DOI : 10.1109/2.546611
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.5742

M. Ahamad, G. Niger, J. E. Burns, P. W. Hut, and P. Kohl, Causal memory: definitions, implementation, and programming, Collection des Publications Internes de l'Irisa ©IRISA, pp.37-49, 1995.
DOI : 10.1007/BF01784241
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.3356

S. Almeida, J. Leitaõ, and L. Rodrigues, ChainReaction, Proceedings of the 8th ACM European Conference on Computer Systems, EuroSys '13, pp.85-98, 2013.
DOI : 10.1145/2465351.2465361

H. Attiya and R. Friedman, A Correctness Condition for High-Performance Multiprocessors, SIAM Journal on Computing, vol.27, issue.6, pp.1637-1670, 1998.
DOI : 10.1137/S0097539795289215

H. Attiya and R. Friedman, Limitations of fast consistency conditions for distributed shared memories, Information Processing Letters, vol.57, issue.5, pp.243-248, 1996.
DOI : 10.1016/0020-0190(96)00007-5

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

H. Attiya and J. L. Welch, Distributed computing: fundamentals, simulations and advanced topics, Wiley-Inter science, 414 pages, 2004.
DOI : 10.1002/0471478210

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.
DOI : 10.1145/7351.7478

E. Brewer, Towards Robust Towards Robust Distributed Systems, ACM Symposium on Principles of Distributed Computing (PODC), Invited talk, 2000.
DOI : 10.1145/343477.343502

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

G. Decandia, D. Hastorun, M. Jampani, G. Kakulapati, A. Lakshman et al., Dynamo: amazon's highly available key-value store, 21st ACM Symp. on Op. Sys. Principles (SOSP'07), pp.205-220, 2007.

R. Friedman, Implementing Hybrid Consistency with High-Level Synchronization Operations, Distributed Computing, pp.119-129, 1995.

V. K. Garg and M. Raynal, Normality: A CONSISTENCY CONDITION FOR CONCURRENT OBJECTS, Parallel Processing Letters, vol.09, issue.01, pp.123-134, 1999.
DOI : 10.1142/S0129626499000141

K. Gharachorloo, D. Lenoski, J. Laudon, P. Gibbons, A. Gupta et al., Memory consistency and event ordering in scalable shared-memory multiprocessors, 17th ACM Annual International Symp. on Comp. Arch. (ISCA), pp.15-26, 1990.

M. Herlihy and N. Shavit, The art of multiprocessor programming, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing , PODC '06, 2008.
DOI : 10.1145/1146381.1146382

M. 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.
DOI : 10.1145/78969.78972

P. Keleher, A. L. Cox, and W. Zwaenepoel, Lazy release consistency for software distributed shared memory, Proc. 19th ACM Int'l Symp. on Comp. Arch. (ISCA'92), pp.13-21, 1992.

A. Lakshman and M. P. , Cassandra, ACM SIGOPS Operating Systems Review, vol.44, issue.2, pp.35-40
DOI : 10.1145/1773912.1773922

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

W. Lloyd, M. J. Freedman, M. Kaminsky, and D. G. Andersen, Don't settle for eventual, Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, SOSP '11, pp.401-416, 2011.
DOI : 10.1145/2043556.2043593

N. A. Lynch, Distributed Algorithms, 1996.

M. Mizuno, M. Raynal, and J. Z. Zhou, Sequential Consistency in Distributed Systems Selected Papers from the International Workshop on Theory and Practice in Dist, Sys, pp.224-241, 1995.

G. Oster, P. Urso, P. Molli, and A. Imine, Data consistency for P2P collaborative editing, Proceedings of the 2006 20th anniversary conference on Computer supported cooperative work , CSCW '06, pp.259-268, 2006.
DOI : 10.1145/1180875.1180916
URL : https://hal.archives-ouvertes.fr/inria-00108523

N. M. Preguiça, J. M. Marquès, M. Shapiro, and M. Letia, A Commutative Replicated Data Type for Cooperative Editing, 2009 29th IEEE International Conference on Distributed Computing Systems, pp.395-403, 2009.
DOI : 10.1109/ICDCS.2009.20

M. Raynal, Concurrent Programming: Algorithms, Principles, and Foundations, p.515, 2013.
DOI : 10.1007/978-3-642-32027-9
URL : https://hal.archives-ouvertes.fr/hal-00922217

M. Raynal, Distributed Algorirhms for Message-passing Systems, 2013.

M. Raynal and A. Schiper, A suite of formal definitions for consistency criteria in distributed shared Memories, 9th Int'l IEEE Conf. on Parallel and Dist. Comp. Sys. (PDCS'96), pp.125-131, 1996.

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

Y. Saito, M. Shapiro, and . Optimistic-replication, Optimistic replication, ACM Computing Surveys, vol.37, issue.1, pp.42-81, 2005.
DOI : 10.1145/1057977.1057980
URL : https://hal.archives-ouvertes.fr/inria-00444768

M. Shapiro, N. M. Preguiça, C. Baquero, and M. Zawirski, Convergent and Commutative Replicated Data Types, Bulletin of the EATCS, vol.104, pp.67-88, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00932833

Y. Sovran, R. Power, M. K. Aguilera, and L. J. , Transactional storage for geo-replicated systems, Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, SOSP '11, pp.385-400, 2011.
DOI : 10.1145/2043556.2043592

D. B. Terry, V. Prabhakaran, R. Kotla, M. Balakrishnan, M. K. Aguilera et al., Consistency-based service level agreements for cloud storage, Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles, SOSP '13, pp.309-324, 2013.
DOI : 10.1145/2517349.2522731