Agreement with stopping failuresAgreement With Stopping Failures • August 1st, 2020
Contract Type FiledAugust 1st, 2020After k rounds, if W contains a single value, pick it; otherwise, pick default v0. Alternatively, pick the smallest value in W – this requires a totally ordered set V.
Agreement with stopping failuresAgreement With Stopping Failures • May 10th, 2006
Contract Type FiledMay 10th, 2006Agreement: no 2 processes that decide, decide on unequal values Validity: if all start with v then v is only possible decision Termination: all nonfaulty processes eventually decide