Зарубежные публикации сотрудников ИСИ

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

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




Вы обнаружили ошибку в следующем тексте:
Просто нажмите кнопку "Отправить сообщение об ошибке" для завершения. Вы можете также ввести комментарий (желательно).