Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Коалгебраическое исследование бисимуляционных паралельных процессов
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
Коалгебраическое исследование бисимуляционных паралельных процессов
Тема:
Теоретические и методологические основы программирования
УДК:
681.3
Посилання:
Коалгебраическое исследование бисимуляционных паралельных процессов/М.Ф. Антонцева // Проблеми програмування. — 2004. — N 2,3. — С. 47-51. — Бiбліогр.:5 назв. - рос.
Дата:
2004
Переглядів:
891
Завантажень:
575
Анотація:
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.
