A timestamp-based checkpointing protocol for long-lived distributed computations | IEEE Conference Publication | IEEE Xplore