Коалгебраическое исследование бисимуляционных паралельных процессов
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.
Gespeichert in:
| Datum: | 2004 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
Інститут програмних систем НАН України
2004
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/2318 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Коалгебраическое исследование бисимуляционных паралельных процессов/М.Ф. Антонцева // Проблеми програмування. — 2004. — N 2,3. — С. 47-51. — Бiбліогр.:5 назв. - рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-2318 |
|---|---|
| record_format |
dspace |
| spelling |
Антонцева, М.Ф. 2008-09-17T13:58:23Z 2008-09-17T13:58:23Z 2004 Коалгебраическое исследование бисимуляционных паралельных процессов/М.Ф. Антонцева // Проблеми програмування. — 2004. — N 2,3. — С. 47-51. — Бiбліогр.:5 назв. - рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/2318 681.3 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. ru Інститут програмних систем НАН України Теоретические и методологические основы программирования Коалгебраическое исследование бисимуляционных паралельных процессов Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Коалгебраическое исследование бисимуляционных паралельных процессов |
| spellingShingle |
Коалгебраическое исследование бисимуляционных паралельных процессов Антонцева, М.Ф. Теоретические и методологические основы программирования |
| title_short |
Коалгебраическое исследование бисимуляционных паралельных процессов |
| title_full |
Коалгебраическое исследование бисимуляционных паралельных процессов |
| title_fullStr |
Коалгебраическое исследование бисимуляционных паралельных процессов |
| title_full_unstemmed |
Коалгебраическое исследование бисимуляционных паралельных процессов |
| title_sort |
коалгебраическое исследование бисимуляционных паралельных процессов |
| author |
Антонцева, М.Ф. |
| author_facet |
Антонцева, М.Ф. |
| topic |
Теоретические и методологические основы программирования |
| topic_facet |
Теоретические и методологические основы программирования |
| publishDate |
2004 |
| language |
Russian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| 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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/2318 |
| citation_txt |
Коалгебраическое исследование бисимуляционных паралельных процессов/М.Ф. Антонцева // Проблеми програмування. — 2004. — N 2,3. — С. 47-51. — Бiбліогр.:5 назв. - рос. |
| work_keys_str_mv |
AT antoncevamf koalgebraičeskoeissledovaniebisimulâcionnyhparalelʹnyhprocessov |
| first_indexed |
2025-12-07T16:34:50Z |
| last_indexed |
2025-12-07T16:34:50Z |
| _version_ |
1850868016340795392 |