Аннотация:
С помощью теоретико-категорной характеризации и идеи логической характеризации абстрактной бисимуляции вычислений получена логическая характеризация для ряда поведенческих частично упорядоченных эквивалентностей в контексте временных структур событий. Исследованы временные варианты следующих эквивалентностей: трассовой эквивалентности Пратта, тестовой эквивалентности, сохраняющей историю бисимуляции и наследственной сохраняющей историю бисимуляции.
Ключевые слова:временные структуры событий, поведенческие эквивалентности, унификация, теория категорий, логическая характеризация.
Полный текст:
PDF файл (261 kB)
