ZooKeeper ’ s atomic broadcast protocol : Theory and practice
ZooKeeper: Wait-free Coordination for Internet-scale Systems