Publisher
Springer International Publishing
Reference24 articles.
1. Attiya, H., Welch, J.: Distributed Computing, 2nd edn. Wiley, Chichester (2004)
2. Lecture Notes in Computer Science;M Barnett,2006
3. Lecture Notes in Computer Science;F Brasileiro,2001
4. Lecture Notes in Computer Science;L de Moura,2008
5. Dobre, D., Suri, N.: One-step consensus with zero-degradation. In: DSN, pp. 137–146 (2006)
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata;Lecture Notes in Computer Science;2024-09-11
2. Verifying Randomized Consensus Protocols with Common Coins;2024 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2024-06-24
3. Formally Verifying a Rollback-Prevention Protocol for TEEs;Lecture Notes in Computer Science;2024
4. Liveness Checking of the HotStuff Protocol Family;2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC);2023-10-24
5. Grove: a Separation-Logic Library for Verifying Distributed Systems;Proceedings of the 29th Symposium on Operating Systems Principles;2023-10-23