Architecture of ZAB
by Guy Moshkowich
Architecture of ZAB – ZooKeeper Atomic Broadcast protocol
ZooKeeper Atomic Broadcast (Zab) protocol
[Dead Link]
ZooKeeper Atomic Broadcast (Zab) protocol
Dynamic Reconfiguration
Paper by Alexander Shraer, Ben Reed, Dahlia Malkhi and Flavio Junquiera
Dynamic Reconfiguration of Primary/Backup Clusters
ZooKeeper - A Reliable, Scalable Distributed Coordination System
by Todd Hoff
...
ZooKeeper - A Reliable, Scalable Distributed Coordination System
Apache ZooKeeper Meets the Dining Philosophers
by Paul Brebner
https://www.instaclustr.com/apache-zookeeper-meets-the-dining-philosophers/
See attachment for the proof of correctness written for Zab (ZooKeeper Atomic Broadcast)