Публикации

Зарубежные публикации

Ошевская Е.С.

Сравнение эквивалентностей (временных) автоматов высших размерностей

Цель этой статьи — показать применимость общего категорного подхода, основанного на открытых морфизмах, к двум моделям параллелизма — автоматам высших размерностей и временным автоматам высших размерностей, чтобы перенести общую концепцию эквивалентностей на эти модели. Сначала мы определяем категории рассматриваемых моделей, морфизмы которых определяются как симуляции. Затем, выбираются сопутствующие (под)категории наблюдений, по отношению к которым разрабатываются соответствующие понятия открытых морфизмов. Наконец, мы используем подход, базирующийся на открытых морфизмах, чтобы получить две абстрактные бисимуляции, которые, как нами установлено, совпадают с сильными сохраняющими историю бисимуляциями на автоматах высших размерностей и на временных автоматах высшей размерностей соответственно.