2
правки
Изменения
м
→8. Диффундирующие вычисления. Останов. Алгоритм Дейксты и Шолтена
===8. Диффундирующие вычисления. Останов. Алгоритм Дейксты и Шолтена===
Алгоритм Дейксты Дейкстры и Шолтена в английской википедии<ref>http://en.wikipedia.org/wiki/Dijkstra-Scholten_algorithm</ref>.
===9. Локально-стабильные предикаты, согласованные интервала, барьерная синхронизация (3 алгоритма). Применение для определения взаимной блокировки===
