haochenpan/rabia

Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)

语言：Go · GitHub 星标：47 · Fork：16

话题：consensus · distributed-systems · fault-tolerance · formal-verification · reliability · state-machine-replication

在 GitHub 上查看原仓库