Коалгебраическое исследование бисимуляционных паралельных процессов
Завантаження...
Дата
Автори
Назва журналу
Номер ISSN
Назва тому
Видавець
Інститут програмних систем НАН України
Анотація
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.
Опис
Теми
Теоретические и методологические основы программирования
Цитування
Коалгебраическое исследование бисимуляционных паралельных процессов/М.Ф. Антонцева // Проблеми програмування. — 2004. — N 2,3. — С. 47-51. — Бiбліогр.:5 назв. - рос.