The communication-induced checkpointing algorithms presented in Sects. 8.3
and 8.4 do not record the messages which are in transit with respect to the corresponding pairs of local checkpoints. Enrich one of the checkpointing algorithms
presented in these sections so that in-transit messages are recorded.