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