Zab: High-performance broadcast for primary-backup systems
Reliable communication in the presence of failures