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

Определение:

Стабильный предикат называется локально стабильным, если все процессы, участвующие в предикате, не меняют свое состояние после того, как предикат удовлетворен.

Примеры

• Предикат "процессы [math]P[/math] и [math]Q[/math] ждут друг друга" локально стабилен, потому что они ничего не делают;
• Предикат "в системе не более одного токена" стабилен в системе, в которой не появляются новые токены, но не локально стабилен, потому что из-за получения / отправки токена состояние процесса может меняться.