Коалгебраическое исследование бисимуляционных паралельных процессов
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: | Russisch |
| 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| _version_ | 1862699080844574720 |
|---|---|
| author | Антонцева, М.Ф. |
| author_facet | Антонцева, М.Ф. |
| citation_txt | Коалгебраическое исследование бисимуляционных паралельных процессов/М.Ф. Антонцева // Проблеми програмування. — 2004. — N 2,3. — С. 47-51. — Бiбліогр.:5 назв. - рос. |
| collection | DSpace DC |
| 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.
|
| first_indexed | 2025-12-07T16:34:50Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-2318 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-07T16:34:50Z |
| publishDate | 2004 |
| publisher | Інститут програмних систем НАН України |
| 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 |
| spellingShingle | Коалгебраическое исследование бисимуляционных паралельных процессов Антонцева, М.Ф. Теоретические и методологические основы программирования |
| title | Коалгебраическое исследование бисимуляционных паралельных процессов |
| title_full | Коалгебраическое исследование бисимуляционных паралельных процессов |
| title_fullStr | Коалгебраическое исследование бисимуляционных паралельных процессов |
| title_full_unstemmed | Коалгебраическое исследование бисимуляционных паралельных процессов |
| title_short | Коалгебраическое исследование бисимуляционных паралельных процессов |
| title_sort | коалгебраическое исследование бисимуляционных паралельных процессов |
| topic | Теоретические и методологические основы программирования |
| topic_facet | Теоретические и методологические основы программирования |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/2318 |
| work_keys_str_mv | AT antoncevamf koalgebraičeskoeissledovaniebisimulâcionnyhparalelʹnyhprocessov |