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