PPT Slide

Correctness of FLP (Cont.)

-- FLP is correct if Lemmas 1 and 2 are correct:

p fail-stop after ?

assume (WLG)

that q decides 0

0-valent

1-valent

?’2

q has to decide

0 if we delay p’s messages

and this is a contradiction.

bivalent

Note: only p moves in ??????