I. Abraham and D. Malkhi, The Blockchain Consensus Layer and BFT, Bulletin of the EATCS, vol.123, 2017.

E. Anceaume, R. Ludinard, M. Potop-butucaru, and F. Tronel, Bitcoin a Distributed Shared Register, Proceedings of the 19th International Symposium Stabilization, Safety, and Security of Distributed Systems, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01522360

E. Androulaki, A. Barger, V. Bortnikov, C. Cachin, K. Christidis et al., Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains, 2018.

A. Anta, C. Georgiou, K. M. Konwar, and N. C. Nicolaou, Formalizing and Implementing Distributed Ledger Objects, 2018.

C. Cachin, K. Kursawe, F. Petzold, and V. Shoup, Secure and Efficient Asynchronous Broadcast Protocols, Proceedings of Advances in Cryptology-CRYPTO, 21st Annual International Cryptology Conference, 2001.

T. Crain, V. Gramoli, M. Larrea, and M. Raynal, Leader/Randomization/Signature)-free Byzantine Consensus for Consortium Blockchains, 2017.

C. Decker, J. Seidel, and R. Wattenhofer, Bitcoin Meets Strong Consistency, Proceedings of the 17th International Conference on Distributed Computing and Networking Conference (ICDCN), 2016.

J. A. Garay, A. Kiayias, and N. Leonardos, The Bitcoin Backbone Protocol: Analysis and Applications, Proceedings of the 34th, 2015.

, Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT)

Y. Gilad, R. Hemo, and S. Micali, Algorand: Scaling byzantine agreements for cryptocurrencies, Proceedings of the 26th Symposium on Operating Systems Principles, pp.51-68, 2017.

A. Girault, G. Gössler, R. Guerraoui, J. Hamza, and D. Seredinschi, Monotonic Prefix Consistency in Distributed Systems, International Conference on Formal Techniques for Distributed Objects, Components, and Systems, pp.41-57, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01824817

M. Herlihy, Wait-free synchronization, ACM Transactions on Programming Languages and Systems, 1991.

E. Kokoris-kogias, P. Jovanovic, N. Gailly, I. Khoffi, L. Gasser et al., Enhancing Bitcoin Security and Performance with Strong Consistency via Collective Signing, Proceedings of the 25th USENIX Security Symposium, 2016.

S. Nakamoto, Bitcoin: A Peer-to-Peer Electronic Cash System, 2008.

R. Pass and E. Shi, FruitChains: A Fair Blockchain, Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017.

M. Perrin, A. Mostefaoui, and C. Jard, Causal Consistency: Beyond Memory, 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01286755

G. Wood, Ethereum: A secure decentralised generalised transaction ledger, 2014.