Цель этой статьи — показать применимость общего категорного подхода, основанного на открытых морфизмах, к двум моделям параллелизма — автоматам высших размерностей и временным автоматам высших размерностей, чтобы перенести общую концепцию эквивалентностей на эти модели. Сначала мы определяем категории рассматриваемых моделей, морфизмы которых определяются как симуляции. Затем, выбираются сопутствующие (под)категории наблюдений, по отношению к которым разрабатываются соответствующие понятия открытых морфизмов. Наконец, мы используем подход, базирующийся на открытых морфизмах, чтобы получить две абстрактные бисимуляции, которые, как нами установлено, совпадают с сильными сохраняющими историю бисимуляциями на автоматах высших размерностей и на временных автоматах высшей размерностей соответственно.
- Новости
- Институт
- Выборы директора
- Основная информация
- А.П. Ершов
- История
- Структура института
- Сотрудники
- Ученый совет
- Диссертационный совет
- Сведения об образовательной организации
- Профком ИСИ
- Адрес
- Телефонный справочник, PDF
- ИСИ СО РАН в прессе
- Международное сотрудничество
- Годовые отчеты
- Фотоархив ИСИ
- Видеоархив ИСИ
- Полезные ссылки
- Реквизиты
- Вакансии
- Документы
- Обучение
- Проекты
- Публикации
- О публикациях
- Список публикаций
- Препринты
- Авторефераты
- Сборники статей
- Книги сотрудников ИСИ
- Учебные и методические пособия
- Зарубежные публикации
- Методика определения импакт-фактора научного журнала
- Научно-популярные статьи сотрудников ИСИ в прессе
- ГОСТ Р 7.0.11-2011 - Диссертация и автореферат диссертации
- Как правильно оформлять список литературы
- Рекомендации по подготовке и оформлению статей
- Экспертизы публикаций
- Издания ИСИ
- Конференции
- Библиотека