Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Kleijn J. Modularity for Teams of I/O Automata. 2004.
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.
Subject Formal methods
I/O automata
Team automata
F.1.1 Models of Computation. Automata

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional