Изменения

'''Локальный Слабый конъюнктивный предикат(WCP)''' - – предикат , удовлетворяющий двум условиям:* имеет вид конъюнкции локальных предикатов над состоянием одного каждого процесса; * его истинность есть истинность хотя бы на одном согласованном срезе. '''Слабый конъюнктивный Локальный предикат''' - – предикатпо состоянию одного процесса. Например, если у процесса есть состояние (переменная) x, истинный на каком-то конкретном срезелокальным предикатом может быть (x < 0). Пример предиката: “в системе нет координатора”, и находящийся в конъюнктивной формепричем локальное условие – “я не координатор”.