Message OmissionsRandomized Solution
- Agreement: For every adversary A:
- 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.
The probability that some process decides 0 and
some process decides 1 is less or equal to ?.