Получено условие выделения фрагментов языка спецификаций Calculus Duration, интерпретируемых в о-минимальных теориях. Предложен способ представления абстрактных процессов, протекающих во времени, с коммуникацией с помощью формул ДС, что позволяет использовать логические методы для описания процесса и проверки его корректности.
