Atomic broadcast in asynchronous crash-recovery distributed systems and its use in quorum-based replication | IEEE Journals & Magazine | IEEE Xplore