Загрузка...

Automata system: composition according to graph of links

The problem of modeling and composing of aggregate systems is considered. The system components are described with finite automata with multiple entries and exits. The communication between automata is described with message passing over simplex communication channels. The system is described with a...

Полное описание

Сохранить в:
Библиографические подробности
Главные авторы: I. B. Burdonov, A. S. Kossatchev
Формат: Artigo
Язык:Inglês
Опубликовано: Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Серии:Труды Института системного программирования РАН
Предметы:
Online-ссылка:https://ispranproceedings.elpub.ru/jour/article/view/31
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!