Publication Date:
2004
abstract:
It is shown how Input/Output automata fit in the framework of team automata, thus making it possible to view certain notions and results regarding their modular structure as special instances of more general observations.
Iris type:
05.12 Altro
Keywords:
Formal methods; I/O automata; Team automata; Modularity
List of contributors: