Analysis of checkpointing algorithms for primary-backup replication | IEEE Conference Publication | IEEE Xplore