Грибовская Н. С. Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей / Н. С. Грибовская // Пробл. программирования. - 2004. - 2-3 [спец. вып.]. - С. 16-22. - Библиогр.: 5 назв. - рус.
Проведено теоретико-категорное исследование трассовой эквивалентности в контексте временных автоматных систем переходов. Для данной модели определено понятие открытого морфизма и доказан критерий открытости. Сформулировано определение абстрактной эквивалентности в терминах существования конструкции открытых морфизмов и доказано, что трассовая эквивалентность совпадает с этой абстрактной эквивалентностью.
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"