Сравнительный обзор моделей логического времени

Математическое моделирование: методы, алгоритмы, технологии
Авторы:
Аннотация:

Рассмотрено несколько моделей логического времени. Выполнено приведение моделей к единому формализму, а также определены свойства каждой модели.