Proof of Lemma 2

For 1-RCP, we can delay messages from one

process and still expect termination. (!)

Suppose that after ?, a bivalent execution, the

delivery of m to p yields a univalent execution.

WLG assume it yields 0-valent.

?

m delivered (to p)

o-valent

1

somewhere there

will be a -->

Previous slide

Next slide

Back to first slide

View graphic version