Message-efficient omission-tolerant consensus with limited synchrony | IEEE Conference Publication | IEEE Xplore