To appear in IEEE Trans. on Parallel and Distributed Systems

J. Tsai, S.-Y. Kuo, and Y. M. Wang,
" Theoretical Analysis for Communication-Induced Checkpointing Protocols with Rollback-Dependency Trackability."