Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Kleijn J. Modularity for teams of I/O automata. In: Information Processing Letters, vol. 95 (5) pp. 487 - 495. Elsevier Science Publishers, Amsterdam, 2005.
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.
URL: http://dx.doi.org/doi:10.1016/j.ipl.2005.05.012
Subject Formal methods
Distributed systems
I/O automata
Team automata
D.2.4 Software/Program Verification. Formal methods
C.2.4 Distributed Systems

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