Verifying Randomized Byzantine Agreement_
- 5 November 2002
- book chapter
- Published by Springer Nature
- p. 194-209
- https://doi.org/10.1007/3-540-36135-9_13
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Secure INtrusion-Tolerant Replication on the InternetPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Distributing trust on the InternetPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Probabilistic Symbolic Model Checking with PRISM: A Hybrid ApproachPublished by Springer Nature ,2002
- Coin Lemmas with Random VariablesPublished by Springer Nature ,2001
- Reachability Analysis of Probabilistic Systems by Successive RefinementsPublished by Springer Nature ,2001
- Compositional Methods for Probabilistic SystemsPublished by Springer Nature ,2001
- Secure and Efficient Asynchronous Broadcast ProtocolsPublished by Springer Nature ,2001
- Reasoning about Probabilistic Lossy Channel SystemsPublished by Springer Nature ,2000
- Fast randomized consensus using shared memoryJournal of Algorithms, 1990
- Impossibility of distributed consensus with one faulty processJournal of the ACM, 1985