PPT Slide

Proof (cont.)

p

q

r

?x: Both processes start with

1 and all messages are lost.

?x: Similar to ?x except that

q starts with 0.

?y: Similar to ?x except that

p starts with 0.

Contradiction

Previous slide

Next slide

Back to first slide

View graphic version