Изменения

'''Кворум''' - семейство подмножеств множества процессов причем такое, что любые два элемента (т.е подмножества относительно множества процессов) этого семейства имеют непустое пересечение. Кворум позволяет решить проблему отсутствия взаимного исключения в CS -- нужно лишь спросить все процессы кворума.