Message OmissionsProblem Description (cont.)
- Agreement: All processes decide on the same value.
- Validity: If all processes start with 0, then the decision value is 0; if all processes start with 1 and no message is lost, then the decision value is 1.
Notice that the validity requirement is weaker then the
original validity requirement.