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

• Date: 2004
• Main Author: Ошевская, Е.С
• Format: Article
• Language: Russian
• Published: Інститут програмних систем НАН України 2004
• Subjects: Теоретические и методологические основы программирования
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/2322
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Об одной геометрической модели временных параллельных процессов / Е.С.Ошевская // Проблеми програмування. — 2004. — N 2,3. — С. 23-29. — Бiбліогр.:10 назв. - рос.

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 u...