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.
Modularity for Teams of I/O Automata
Ter Beek M H;
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_160720-doc_125355.pdf
accesso aperto
Descrizione: Modularity for Teams of I/O Automata
Dimensione
157.87 kB
Formato
Adobe PDF
|
157.87 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
