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 ...
Lucien's user avatar
  • 11

Only top scored, non community-wiki answers of a minimum length are eligible