| English | Russian |
| clock constraint in the invariant of a location or in the guard of a transition | временное ограничение инварианта позиции или предохранителя перехода (ssn) |
| in the clock ISR, the stored time is compared against the time of day in the usual manner | Обработчик прерываний таймера сравнивает сохранённое значение времени с текущим (см. "Getting Started with QNX Neutrino. A Guide for Realtime Programmers" by Rob Krten 2009) |
| in the definition of timed automaton, we allowed the clock constraints that serve as the invariants of locations and the guards of transitions to contain arbitrary rational constants | в определении временного автомата мы допускали использование временных ограничений в качестве инвариантов позиций и предохранителей переходов, содержащих произвольные рациональные константы (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| in the previous chapter, we assumed that time is discrete. When time is modeled in this manner, possible clock values are nonnegative integers, and events can only occur at integer time values | в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| just as in Lamport timestamps, interprocess messages contain the state of the sending process's logical clock | так же, как и во временных метках Лэмпорта, сообщения, передаваемые между процессами, содержат состояние логических часов процесса-отправителя |
| quadratic blowup in the length of the encodings of the clock constraints | квадратичное увеличение длины записи временных ограничений (ssn) |
