Common Contracts
1 similar null contracts
Agreement with stopping failuresMay 10th, 2006
Agreement: 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
