共 50 条
- [31] A Formally Verified Protocol for Log Replication with Byzantine Fault Tolerance 2020 INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2020), 2020, : 101 - 112
- [36] Stochastic performance modeling for practical byzantine fault tolerance consensus in the blockchain Peer-to-Peer Networking and Applications, 2022, 15 : 2516 - 2528