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