To prove the correctness, we first

To prove the correctness, we first establish partial correctness and then prove termination. For partial correctness, we demonstrate that when all the guards are false, every process must have collected the value s(i) from every other process i.

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

Чтобы доказать правильность, мы сначала установить частичную корректность, а затем доказать прекращение. Для частичной корректности, мы показываем, что когда все охранники являются ложными, каждый процесс должен собрали s(i) значение из каждого процесса я.

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

Чтобы доказать свою правоту, мы сначала установить частичную правильность, а затем доказать завершение. Для частичной корректности, мы покажем, что, когда все охранники являются ложными, каждый процесс должен собрали значение • (I) от любого другого процесса я.

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

в первой части мы доказать правильность правильность создания, испытания, а затем прекращено.мы часть текста demonstrate for that when the, гвардии является ложной, каждый процесс должен иметь антология "значение S (i) от всех других процессов.