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

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

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.