Quasi-synchronous checkpointing: Models, characterization, and classification
IEEE Transactions on Parallel and Distributed Systems
D. Manivannan
Globally precise-restartable execution of parallel programs