Коалгебраическое исследование бисимуляционных паралельных процессов
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.
Збережено в:
| Дата: | 2004 |
|---|---|
| ISSN: | 1727-4907 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2004
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/2318 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Коалгебраическое исследование бисимуляционных паралельных процессов/М.Ф. Антонцева // Проблеми програмування. — 2004. — N 2,3. — С. 47-51. — Бiбліогр.:5 назв. - рос. |
Репозитарії
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 |