| http://www.w3.org/ns/prov#value | - The new leader p sets lastTried(p) to a ballot number b which it owns and which is larger than its previous value and sends a NextBallot(b,n) message to all processes including itself, where n is the smallest command number for which p does not know the corresponding command.
|
