Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Abadi, M., Lamport, L.: The existence of refinement mappings. Theoretical Computer Science 82(2), 253–284 (1991)
2. Castro, M., Liskov, B.: Practical byzantine fault tolerance and proactive recovery. ACM Transactions on Computer Systems 20(4), 398–461 (2002)
3. Fischer, M.J., Lynch, N., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. Journal of the ACM 32(2), 374–382 (1985)
4. Guerraoui, R., Vukolić, M.: Refined quorum systems. Distributed Computing 23(1), 1–42 (2010)
5. Lamport, L.: Mechanically checked safety proof of a byzantine paxos algorithm, http://research.microsoft.com/users/lamport/tla/byzpaxos.html . The page can also be found by searching the Web for the 23-letter string obtained by removing the “-” from, uid-lamportbyzpaxosproof
Cited by
66 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19
2. AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects;Proceedings of the ACM on Programming Languages;2024-04-29
3. Formally Verifying a Rollback-Prevention Protocol for TEEs;Lecture Notes in Computer Science;2024
4. EBFT: Efficient BFT Consensus through Shortcut Replies;2023 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom);2023-12-21
5. Leveraging TLA$$^+$$ Specifications to Improve the Reliability of the ZooKeeperCoordination Service;Dependable Software Engineering. Theories, Tools, and Applications;2023-12-15