Об одной геометрической модели временных параллельных процессов
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Об одной геометрической модели временных параллельных процессов
|
|
| Creator |
Ошевская, Е.С,
|
|
| Subject |
Теоретические и методологические основы программирования
|
|
| Description |
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. |
|
| Date |
2008-09-17T14:18:43Z
2008-09-17T14:18:43Z 2004 |
|
| Type |
Article
|
|
| Identifier |
Об одной геометрической модели временных параллельных процессов / Е.С.Ошевская // Проблеми програмування. — 2004. — N 2,3. — С. 23-29. — Бiбліогр.:10 назв. - рос.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/2322 681.3 |
|
| Language |
ru
|
|
| Publisher |
Інститут програмних систем НАН України
|
|