Modularity for teams of I/O automata

DOI10.1016/J.IPL.2005.05.012zbMath1185.68382OpenAlexW2145334549MaRDI QIDQ1041819

Maurice H. ter Beek, H. C. M. Kleijn

Publication date: 4 December 2009

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2005.05.012

zbMATH Keywords

distributed systemsformal methodsI/O automatateam automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

Can we communicate? Using dynamic logic to verify team automata ⋮ A Calculus for Team Automata

Cites Work

• Introduction to the theory of nested transactions
• Liveness in timed and untimed systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Modularity for teams of I/O automata