Theoretical analysis for communication-induced checkpointing protocols with rollback-dependency trackability | IEEE Journals & Magazine | IEEE Xplore