Proof of correctnessLet i be a red

Proof of correctness
Let i be a red process before round r(r ≥ 0) begins. Then, after round r, process i remains red if and only if the following condition holds:

Результаты (русский) 1:

Доказательство корректностиПусть я красный процесс до начала раунда r (r ≥ 0). Затем после раунда r, процесс я остается красным, только в том случае, если следующее условие содержит:

Результаты (русский) 2:

Доказательство корректности
Пусть я быть красным процесс до начала раунда г (г ≥ 0). Затем, после первого раунда г, процесс я остается красным , если и только если выполнено следующее условие:

Результаты (русский) 3:

доказательством правильностипозвольте мне быть красной до круглых R (R > 0) начинается.затем, после раунда R, процесс, я по - прежнему красным, если и только если следующее условие содержит: