Inicio Explorar Axuda
Rexistro Iniciar sesión
apache
/
zookeeper
réplica de https://gitee.com/apache/zookeeper.git
2
0
Fork 0
Ficheiros Incidencias 0 Wiki
Árbore: 15f29b51a2
Ramas Etiquetas
zookeeper
/
zookeeper-specifications
/
protocol-spec
/
pic
Binyu Huang df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) %!s(int64=2) %!d(string=hai) anos
..
case_leader_process_cepoch.png df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) %!s(int64=2) %!d(string=hai) anos
protocol-spec-mck-bug1.png df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) %!s(int64=2) %!d(string=hai) anos
protocol-spec-mck-bug2.png df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) %!s(int64=2) %!d(string=hai) anos
protocol-spec-mck-bug3.png df8a53a974 ZOOKEEPER-3615: Provide formal specification and verification using TLA+ for Zab (#1690) %!s(int64=2) %!d(string=hai) anos