Home Explore Help
Register Sign In
apache
/
zookeeper
mirror of https://gitee.com/apache/zookeeper.git
2
0
Fork 0
Files Issues 0 Wiki
Branch: master
Branches Tags
zookeeper
/
zookeeper-specifications
/
protocol-spec
/
pic
Binyu Huang df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) 1 year ago
..
case_leader_process_cepoch.png df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) 1 year ago
protocol-spec-mck-bug1.png df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) 1 year ago
protocol-spec-mck-bug2.png df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) 1 year ago
protocol-spec-mck-bug3.png df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) 1 year ago