A Simple Predicate to Expedite the Termination of a Randomized Consensus Algorithm | IEEE Conference Publication | IEEE Xplore