Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей
|
|
| Creator |
Грибовская, Н.С.
|
|
| Subject |
Теоретические и методологические основы программирования
|
|
| Description |
Данная работа посвящена теоретико-категорному исследованию трассовой эквивалентности в контексте временных автоматных систем переходов. Для данной модели определено понятие открытого морфизма и доказан критерий открытости. Далее сформулировано определение абстрактной эквивалентности в терминах существования конструкции открытых морфизмов и доказано, что трассовая эквивалентность совпадает с этой абстрактной эквивалентностью. The intention of the paper is to show the applicability of the general categorical framework of open maps to the setting of timed automata models. In particular, we use the framework of open maps to obtain an abstract equivalence notion which is established to coincide with a timed extension of the well-known trace equivalence. |
|
| Date |
2008-09-17T15:24:20Z
2008-09-17T15:24:20Z 2004 |
|
| Type |
Article
|
|
| Identifier |
Теоретико-категорная характеризация трассовой эквивалентности для временных автоматных моделей / Н.С. Грибовская// Проблеми програмування 2004. — N 2-3. — С. 16-22. — Бібліогр.: 5 назв. - рос.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/2338 681.3 |
|
| Language |
ru
|
|
| Publisher |
Інститут програмних систем НАН України
|
|