Linearizability: a correctness condition for concurrent objects, ACM Transactions on Programming Languages and Systems, vol.12, issue.3, 1990. ,
DOI : 10.1145/78969.78972
CAP twelve years later: How the "rules" have changed, Computer, vol.45, issue.2, 2012. ,
DOI : 10.1109/MC.2012.37
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
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
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
Replicated data consistency explained through baseball, Communications of the ACM, vol.56, issue.12, 2011. ,
DOI : 10.1145/2500500
Trade-offs in replicated systems, IEEE Data Engineering Bulletin, vol.39, pp.14-26, 2016. ,
Principles of Eventual Consistency, Foundations and Trends?? in Programming Languages, vol.1, issue.1-2, 2014. ,
DOI : 10.1561/2500000011
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
Consistency, availability, convergence, 2011. ,
Bitcoin: A peer-to-peer electronic cash system, 2008. ,
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
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