共 50 条
- [21] Byzantine Agreement with a Rational Adversary AUTOMATA, LANGUAGES, AND PROGRAMMING, ICALP 2012, PT II, 2012, 7392 : 561 - 572
- [25] Byzantine Generalized Lattice Agreement 2020 IEEE 34TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM IPDPS 2020, 2020, : 674 - 683
- [26] Polygraph: Accountable Byzantine Agreement 2021 IEEE 41ST INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS 2021), 2021, : 403 - 413
- [27] P systems and the Byzantine agreement JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (06): : 334 - 349
- [30] Verifying randomized Byzantine agreement FORMAL TECHNIQUE FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2002, PROCEEDINGS, 2002, 2529 : 194 - 209