Nonblocking and Orphan-Free Message Logging Protocols | IEEE Conference Publication | IEEE Xplore