I. Abraham and D. Malkhi, The blockchain consensus layer and BFT, Bulletin of the EATCS, vol.3, issue.123, pp.1-23, 2017.

E. Anceaume, R. Ludinard, M. Potop-butucaru, and F. Tronel, Bitcoin a distributed shared register, Proceedings of the International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2017.
URL : https://hal.archives-ouvertes.fr/hal-01522360

E. Anceaume, A. Pozzo, R. Ludinard, M. Potop-butucaru, and S. Tucci-piergiovanni, Blockchain abstract data type, Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2019.
URL : https://hal.archives-ouvertes.fr/hal-01718480

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

A. F. Anta, C. Georgiou, and N. C. Nicolaou, Atomic appends: Selling cars and coordinating armies with multiple distributed ledgers, 2018.

A. F. Anta, K. Konwar, C. Georgiou, and N. Nicolaou, Formalizing and implementing distributed ledger objects, ACM SIGACT News, vol.49, issue.2, pp.58-76, 2018.

C. Cachin, Blockchain -From the Anarchy of Cryptocurrencies to the Enterprise (Keynote Abstract), Proc. of the OPODIS International Conference, 2016.

C. Decker, J. Seidel, and R. Wattenhofer, Bitcoin Meets Strong Consistency, Proc. of the ICDCN International Conference, 2016.

C. Decker and R. Wattenhofer, Information propagation in the bitcoin network, 13th IEEE International Conference on Peer-to-Peer Computing, vol.2, pp.1-10, 2013.

I. Eyal, A. E. Gencer, E. G. Sirer, and R. Van-renesse, Bitcoin-NG: A scalable blockchain protocol, Procs of the USENIX NSDI Symposium, 2016.

J. A. Garay, A. Kiayias, and N. Leonardos, The bitcoin backbone protocol: Analysis and applications, Proc. of the EUROCRYPT International Conference, 2015.

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, Concurrency and availability as dual properties of replicated atomic data, J. ACM, vol.37, issue.2, pp.257-278, 1990.

M. Herlihy and M. Moir, Blockchains and the logic of accountability: Keynote address, Proc. of the ACM/IEEE LICS Symposium, 2016.

J. Hoepman, M. Papatriantafilou, and P. Tsigas, Self-stabilization of wait-free shared memory objects, J. Parallel Distrib. Comput, vol.62, issue.5, pp.818-842, 2002.

E. Kokoris-kogias, P. Jovanovic, N. Gailly, I. Khoffi, L. Gasser et al., Enhancing bitcoin security and performance with strong consistency via collective signing, Proc. of the USENIX Security Symposium, 2016.

L. Lamport, On inter-process communications, part I: basic formalism and part II, algorithms. Distributed Computing, vol.1, issue.2, pp.77-101, 1986.

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

R. Pass and E. Shi, Fruitchains: A fair blockchain, Proceedings of the ACM Symposium on Principles of Distributed Computing, PODC 2017, pp.315-324, 2017.

R. Pass, R. , L. Seeman, and A. Shelat, Analysis of the blockchain protocol in asynchronous networks, Proc. of the EUROCRYPT International Conference, 2017.

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