A timestamp-based checkpointing protocol for long-lived distributed computationsFlaviu CristianFarnam Jahanian1991SRDS 1991