2004
Other
Open Access
Modularity for Teams of I/O Automata
Ter Beek M. H., Kleijn J.
Formal methods I/O automata Team automata Modularity
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.
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:160720,
title = {Modularity for Teams of I/O Automata},
author = {Ter Beek M. H. and Kleijn J.},
year = {2004}
}CNR authorsLaboratories
0000-0002-2930-6367