Title of paper: Modularity for Teams of I/O Automata
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.