Message logging: pessimistic, optimistic, causal, and optimal | IEEE Journals & Magazine | IEEE Xplore