Коалгебраическое исследование бисимуляционных паралельных процессов

dc.contributor.author	Антонцева, М.Ф.
dc.date.accessioned	2008-09-17T13:58:23Z
dc.date.available	2008-09-17T13:58:23Z
dc.date.issued	2004
dc.identifier.citation	Коалгебраическое исследование бисимуляционных паралельных процессов/М.Ф. Антонцева // Проблеми програмування. — 2004. — N 2,3. — С. 47-51. — Бiбліогр.:5 назв. - рос.	en_US
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/2318
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.language.iso	ru	en_US
dc.publisher	Інститут програмних систем НАН України	en_US
dc.subject	Теоретические и методологические основы программирования	en_US
dc.title	Коалгебраическое исследование бисимуляционных паралельных процессов	en_US
dc.type	Article	en_US
dc.status	published earlier	en_US
dc.identifier.udc	681.3