An efficient communication induced rollforward checkpointing and recover protocol for distributed systems. - Manman Gu; Lei Zeng; Zhihong Liang; Bidyut Gupta (CATA, 2000)