Коалгебраическое исследование бисимуляционных паралельных процессов
| dc.contributor.author | Антонцева, М.Ф. | |
| dc.date.accessioned | 2008-09-17T13:58:23Z | |
| dc.date.available | 2008-09-17T13:58:23Z | |
| dc.date.issued | 2004 | |
| dc.description.abstract | 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. | en_US |
| dc.identifier.citation | Коалгебраическое исследование бисимуляционных паралельных процессов/М.Ф. Антонцева // Проблеми програмування. — 2004. — N 2,3. — С. 47-51. — Бiбліогр.:5 назв. - рос. | en_US |
| dc.identifier.issn | 1727-4907 | |
| dc.identifier.udc | 681.3 | |
| dc.identifier.uri | https://nasplib.isofts.kiev.ua/handle/123456789/2318 | |
| dc.language.iso | ru | en_US |
| dc.publisher | Інститут програмних систем НАН України | en_US |
| dc.status | published earlier | en_US |
| dc.subject | Теоретические и методологические основы программирования | en_US |
| dc.title | Коалгебраическое исследование бисимуляционных паралельных процессов | en_US |
| dc.type | Article | en_US |
Файли
Оригінальний контейнер
1 - 1 з 1
Завантаження...
- Назва:
- 06 - Antontseva.PDF
- Розмір:
- 299.27 KB
- Формат:
- Adobe Portable Document Format
Контейнер ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 1.79 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: