Deterministic Replay: A Survey
A survey of rollback-recovery protocols in message-passing systems