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

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

Примеры

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