Jichiang Tsai Yi-Min Wang Sy-Yen Kuo Evaluations of Domino-Free Communication-Induced Checkpointing Protocols. 31-37 1999 69 Inf. Process. Lett. 1 db/journals/ipl/ipl69.html#TsaiWK99 http://dx.doi.org/10.1016/S0020-0190(98)00183-5