Изменения

Каждый процесс ждёт предложения остальных, после чего детерминированной функцией выбирает элемент из множества.

У остальных процессов получилось такое же множество, такая же функция, следовательно, такой же результат.