Коалгебраическое исследование бисимуляционных паралельных процессов
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Коалгебраическое исследование бисимуляционных паралельных процессов
|
|
| Creator |
Антонцева, М.Ф.
|
|
| Subject |
Теоретические и методологические основы программирования
|
|
| Description |
The aim of this paper is to extend of coalgebra semantic and categorical methods to noninterleaving models, in particular, transition systems with independence and labelled event structure. |
|
| Date |
2008-09-17T13:58:23Z
2008-09-17T13:58:23Z 2004 |
|
| Type |
Article
|
|
| Identifier |
Коалгебраическое исследование бисимуляционных паралельных процессов/М.Ф. Антонцева // Проблеми програмування. — 2004. — N 2,3. — С. 47-51. — Бiбліогр.:5 назв. - рос.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/2318 681.3 |
|
| Language |
ru
|
|
| Publisher |
Інститут програмних систем НАН України
|
|