Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronization
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 217-236
- https://doi.org/10.1007/3-540-55092-5_12
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A really temporal logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- Research on Automatic Verification of Finite-State Concurrent SystemsAnnual Review of Computer Science, 1987
- Synchronizing clocks in the presence of faultsJournal of the ACM, 1985
- A new fault-tolerant algorithm for clock synchronizationPublished by Association for Computing Machinery (ACM) ,1984
- The Byzantine Generals ProblemACM Transactions on Programming Languages and Systems, 1982
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977