A team automaton is said to satisfy compositionality if its behaviour can be described in terms of the behaviour of its constituting component automata. As an initial investigation of the conditions under which team automata satisfy compositionality, we study their computations and behaviour in relation to those of their constituting component automata. We show that the construction of team automata according to certain natural types of synchronization guarantees compositionality.
Team automata satisfying compositionality
Ter Beek M;
2003
Abstract
A team automaton is said to satisfy compositionality if its behaviour can be described in terms of the behaviour of its constituting component automata. As an initial investigation of the conditions under which team automata satisfy compositionality, we study their computations and behaviour in relation to those of their constituting component automata. We show that the construction of team automata according to certain natural types of synchronization guarantees compositionality.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_44085-doc_127799.pdf
non disponibili
Descrizione: Team automata satisfying compositionality
Tipologia:
Versione Editoriale (PDF)
Dimensione
294.59 kB
Formato
Adobe PDF
|
294.59 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
