1. Lecture Notes in Computer Science;I Bentov,2016
2. Brookes, S.D., Roscoe, A.W.: CSP: A Practical Process Algebra, 1 edn., pp. 187–222. Association for Computing Machinery, New York (2021)
3. Buchman, E., Kwon, J., Milosevic, Z.: The latest gossip on BFT consensus. CoRR abs/1807.04938 (2018). http://arxiv.org/abs/1807.04938
4. Buterin, V.: Ethereum: a next-generation smart contract and decentralized application Platform (2014). https://ethereum.org/whitepaper/
5. Buterin, V., Griffith, V.: Casper the friendly finality gadget. CoRR abs/1710.09437 (2017). http://arxiv.org/abs/1710.09437