Hybrid checkpointing protocol based on selective-sender-based message logging | IEEE Conference Publication | IEEE Xplore