P. Bailis and A. Ghodsi, Eventual consistency today, Communications of the ACM, vol.56, issue.5, pp.55-63, 2013.
DOI : 10.1145/2447976.2447992

S. Burckhardt, Principles of Eventual Consistency, Foundations and Trends?? in Programming Languages, vol.1, issue.1-2, pp.1-150, 2014.
DOI : 10.1561/2500000011

S. Burckhardt, M. Fähndrich, D. Leijen, and B. P. Wood, Cloud Types for Eventual Consistency, ECOOP 2012, pp.283-307, 2012.
DOI : 10.1007/978-3-642-31057-7_14

S. Burckhardt, D. Leijen, M. Fähndrich, and M. Sagiv, Eventually Consistent Transactions, ESOP 2012, pp.67-86, 2012.
DOI : 10.1007/978-3-642-28869-2_4
URL : http://research.microsoft.com/pubs/158085/ecr-esop2012.pdf

S. Burckhardt, D. Leijen, J. Protzenko, and M. Fähndrich, Global sequence protocol: A robust abstraction for replicated shared state, ECOOP 2015, pp.568-590, 2015.

G. Decandia, D. Hastorun, M. Jampani, G. Kakulapati, A. Lakshman et al., Dynamo: amazon's highly available key-value store, SOSP '07, pp.205-220, 2007.

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

A. Gotsman, H. Yang, C. Ferreira, M. Najafzadeh, and M. Shapiro, Cause i'm strong enough: reasoning about consistency choices in distributed systems, POPL 2016, pp.371-384, 2016.
DOI : 10.1145/2914770.2837625
URL : https://hal.archives-ouvertes.fr/hal-01243192

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

M. Shapiro, N. M. Preguiça, C. Baquero, and M. Zawirski, Conflict-Free Replicated Data Types, SSS 2011, pp.386-400, 2011.
DOI : 10.1145/800222.806750
URL : https://hal.archives-ouvertes.fr/hal-00932836

K. Sivaramakrishnan, G. Kaki, and S. Jagannathan, Declarative programming over eventually consistent data stores, PLDI 2015, pp.413-424, 2015.
DOI : 10.1145/2737924.2737981