94
правки
Изменения
/* 7. Глобальные свойства. Стабильные и нестабильные предикаты. Слабый конъюнктивный предикат. Централизованный и распределенный алгори
===7. Глобальные свойства. Стабильные и нестабильные предикаты. Слабый конъюнктивный предикат. Централизованный и распределенный алгоритмы===
*[[Глобальные свойства системы]]
*[[Слабый конъюнктивный предикат]]
===8. Диффундирующие вычисления. Останов. Алгоритм Дейксты и Шолтена===
===9. Локально-стабильные предикаты, согласованные интервала, барьерная синхронизация (3 алгоритма). Применение для определения взаимной блокировки===
