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

Скорочена інформація про документ
dc.contributor.authorОшевская, Е.С,
dc.date.accessioned2008-09-17T14:18:43Z
dc.date.available2008-09-17T14:18:43Z
dc.date.issued2004
dc.description.abstractThe 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.identifier.citationОб одной геометрической модели временных параллельных процессов / Е.С.Ошевская // Проблеми програмування. — 2004. — N 2,3. — С. 23-29. — Бiбліогр.:10 назв. - рос.en_US
dc.identifier.issn1727-4907
dc.identifier.udc681.3
dc.identifier.urihttps://nasplib.isofts.kiev.ua/handle/123456789/2322
dc.language.isoruen_US
dc.publisherІнститут програмних систем НАН Україниen_US
dc.statuspublished earlieren_US
dc.subjectТеоретические и методологические основы программированияen_US
dc.titleОб одной геометрической модели временных параллельных процессовen_US
dc.typeArticleen_US

Файли

Оригінальний контейнер

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
03 - Oshevskaya.pdf
Розмір:
174.32 KB
Формат:
Adobe Portable Document Format
Завантажити

Контейнер ліцензії

Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
license.txt
Розмір:
1.79 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекція

Проблеми програмування, 2004, № 2,3