Открытые отображения и поведенческие эквивалентности временных стабильных структур событий

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