Proof

p

q

r

?1: Both processes start with

1 and no message is lost.

?2: Similar to ?1 except that

the last message from p

to q is lost.

?3: Similar to ?2 except that

the last message from q

to p is lost.

Previous slide

Next slide

Back to first slide

View graphic version