On properties of RDT communication-induced checkpointing protocols | IEEE Journals & Magazine | IEEE Xplore