Локально стабильный предикат

Материал из Викиконспекты
Версия от 17:20, 26 июня 2010; Andrey Danilchenko (обсуждение | вклад) (Новая страница: «Категория: Параллельное программирование Если локально-стабильный предикат истинен, т…»)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Если локально-стабильный предикат истинен, то существуют процессы, состояние которых меняться не будет.

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Локально_стабильный_предикат&oldid=1897»