| Subject | English | Russian |
| IT | language of temporal ordering specification | язык спецификации временного упорядочивания (cтандартизованный язык спецификации, первоначально предназначавшийся для описания коммуникационных и распределённых систем. LOTOS состоит из двух взаимодополняющих языков: языка описания абстрактных типов данных ACT ONE и языка описания поведения в виде алгебры процессов Alex_Odeychuk) |
| progr. | temporal specification | временная спецификация (ssn) |