M. Herlihy and J. M. Wing, Linearizability: a correctness condition for concurrent objects, ACM Transactions on Programming Languages and Systems, vol.12, issue.3, 1990.
DOI : 10.1145/78969.78972

E. Brewer, CAP twelve years later: How the "rules" have changed, Computer, vol.45, issue.2, 2012.
DOI : 10.1109/MC.2012.37

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

URL : http://theory.lcs.mit.edu/tds/papers/Gilbert/Brewer6.ps

H. Attiya, F. Ellen, and A. Morrison, Limitations of Highly-Available Eventually-Consistent Data Stores, IEEE Transactions on Parallel and Distributed Systems, vol.28, issue.1, pp.141-155, 2017.
DOI : 10.1109/TPDS.2016.2556669

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

D. Terry, Replicated data consistency explained through baseball, Communications of the ACM, vol.56, issue.12, 2011.
DOI : 10.1145/2500500

R. Guerraoui, M. Pavlovic, and D. A. Seredinschi, Trade-offs in replicated systems, IEEE Data Engineering Bulletin, vol.39, pp.14-26, 2016.

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

A. Bouajjani, C. Enea, and J. Hamza, Verifying eventual consistency of optimistic replication systems, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.285-296, 2014.
DOI : 10.1145/2535838.2535877

URL : http://www.liafa.univ-paris-diderot.fr/~cenea/popl2014.pdf

P. Mahajan, L. Alvisi, and M. Dahlin, Consistency, availability, convergence, 2011.

S. Nakamoto, Bitcoin: A peer-to-peer electronic cash system, 2008.

R. Pass, L. Seeman, and A. Shelat, Analysis of the Blockchain Protocol in Asynchronous Networks, Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT'17, pp.643-673, 2017.
DOI : 10.1145/383059.383071

J. Garay, A. Kiayias, and N. Leonardos, The Bitcoin Backbone Protocol: Analysis and Applications, Annual International Conference on the Theory and Applications of Cryptographic Techniques, pp.281-310, 2015.
DOI : 10.1007/978-3-662-46803-6_10