A Lightweight Causal Message Logging Protocol to Lower Fault Tolerance Overhead | IEEE Conference Publication | IEEE Xplore