Terms containing текущее ограничение

Subject	Russian	English
progr.	Переход может быть совершен, только если текущие показания часов удовлетворяют временному ограничению	the transition can be taken only if the current values of the clocks satisfy the clock constraint (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)
progr.	текущее ограничение	immediate constraint (ssn)