Mechanising blockchain consensus
Authors:
Open Access
- 8 January 2018
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 78-90
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Making Smart Contracts Smarter2016
- Formal Verification of Smart Contracts2016
- Planning for change in a formal verification of the raft consensus protocol2016
- PSync: a partially synchronous language for fault-tolerant distributed algorithmsACM SIGPLAN Notices, 2016
- IronFleet2015
- Verdi: a framework for implementing and formally verifying distributed systems2015
- Replicated data types2014
- Managing update conflicts in Bayou, a weakly connected replicated storage system1995
- Counting networksJournal of the ACM, 1994
- The Byzantine Generals ProblemACM Transactions on Programming Languages and Systems, 1982