292
правки
Изменения
→15 билет. Диффундирующие вычисления. Останов. Алгоритм Дейкстры и Шолтена
* [[Диффундирующие вычисления]]
* [[Алгоритм Дейкстры и Шолтена]]
===16 билет. Локально-стабильные предикаты, согласованные интервалы, барьерная синхронизация (3 алгоритма). Применение для определения взаимной блокировки===
