PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Kleijn J. Modularity for Teams of I/O Automata. 2004.
 
 
Abstract
(English)
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
Modularity
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