1
vote
Where does the FLP impossibility proof depend on allowing a single process failure?
In the PROOF of LEMMA 2:
Now consider some admissible deciding run from $C_0$ in which process p takes no steps, and let u be the associated schedule.
The protocol can become deciding ...
- 11
Only top scored, non community-wiki answers of a minimum length are eligible