Zab: High-performance broadcast for primary-backup systems
Group communication specifications: a comprehensive study