Dynamic Reconfiguration of Primary/Backup Clusters
Zab: High-performance broadcast for primary-backup systems