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