Об одной геометрической модели временных параллельных процессов

dc.contributor.author	Ошевская, Е.С,
dc.date.accessioned	2008-09-17T14:18:43Z
dc.date.available	2008-09-17T14:18:43Z
dc.date.issued	2004
dc.identifier.citation	Об одной геометрической модели временных параллельных процессов / Е.С.Ошевская // Проблеми програмування. — 2004. — N 2,3. — С. 23-29. — Бiбліогр.:10 назв. - рос.	en_US
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/2322
dc.description.abstract	The intention of the paper is to study geometric properties of timed concurrent processes. First, we introduce a notion of timed higher dimentional transition sistems and then we provide a category-theoretic characterization of bisimulation equivalence in the context of the model under consideration.	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