[[Категория: Параллельное программирование]]
Если Стабильный предикат называется '''локально-стабильный стабильным''', если все процессы, участвующие в предикате не меняют свое состояние после того, как предикат истиненудовлетворен.== Примеры ==* Предикат "процессы <tex>P</tex> и <tex>Q</tex> в дедлоке" локально стабилен;* Предикат "в системе не более одного токена" стабилен в системе, то существуют процессыв которой не появляются новые токены, но не локально стабилен, потому что из-за получения / отправки токена состояние которых процесса может меняться не будет.
