Terms containing duration between successive clock ticks

Subject	English	Russian
progr.	duration between successive clock ticks	продолжительность времени между двумя последовательными тиками часов (ssn)
progr.	the duration between successive clock ticks is chosen as the basic unit for measuring time	в качестве единицы измерения времени выбирается продолжительность времени между двумя последовательными тиками часов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)