Yi-min__Wang
Checkpointing and its applications
COMERA: COM Extensible Remoting Architecture
Guaranteed deadlock recovery: Deadlock resolution with rollback propagation
Optimistic Message Logging for Independent Checkpointing in Message-Passing Systems
STRIDER: A Black-box, State-based Approach to Change and Configuration Management and Support
The maximum and minimum consistent global checkpoints and their applications