Изменения

{{Определение|definition=[[Глобальные свойства системы|Стабильный предикат ]] называется '''локально стабильным''', если все процессы, участвующие в предикате , не меняют свое ''состояние '' после того, как предикат удовлетворен.}}

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