Cargando...
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...
Guardado en:
Autores principales: | , |
---|---|
Formato: | Artigo |
Lenguaje: | Inglês |
Publicado: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2018-10-01
|
Colección: | Труды Института системного программирования РАН |
Materias: | |
Acceso en línea: | https://ispranproceedings.elpub.ru/jour/article/view/31 |
Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|