|
Вестник НГУ. Серия: Математика, механика, информатика, 2008, том 8, выпуск 2, страницы 14–29
(Mi vngu285)
|
|
|
|
Открытые отображения и поведенческие эквивалентности временных стабильных структур событий
М. В. Андреева РОССИЯ, 630090, Новосибирск, пр. Акад. Лаврентьева, 6, Институт систем информатики им. А. П. Ершова СО РАН
Аннотация:
В работе вводятся и исследуются с применением теории открытых морфизмов временные расширения поведенческих эквивалентностей параллельных процессов, представленных моделью временных стабильных структур событий. В результате построены категориии изучаемой модели и получены абстрактные характеризации временных вариантов эквивалентностей (трассовой эквивалентности Пратта, трассовой, тестовой и сильной сохраняющей историю бисимуляционной) в семантике временных частичных порядков.
Поступила в редакцию: 14.03.2008
Образец цитирования:
М. В. Андреева, “Открытые отображения и поведенческие эквивалентности временных стабильных структур событий”, Вестн. НГУ. Сер. матем., мех., информ., 8:2 (2008), 14–29
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vngu285 https://www.mathnet.ru/rus/vngu/v8/i2/p14
|
Статистика просмотров: |
Страница аннотации: | 119 | PDF полного текста: | 39 | Список литературы: | 35 | Первая страница: | 1 |
|