Generalized interface automata with multicast synchronization

DOI10.1007/S11704-014-4016-7zbMath1403.68113OpenAlexW1976261695MaRDI QIDQ1633060

Y. Aharonov

Publication date: 19 December 2018

Published in: Frontiers of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11704-014-4016-7

zbMATH Keywords

verificationmulticast communicationcomponent interactioninterface automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Composition and behaviors of probabilistic I/O automata
• Hybrid I/O automata.
• The Theory of Timed I/O Automata
• Synchronous and Bidirectional Component Interfaces
• Frontiers of Combining Systems
• CONCUR 2003 - Concurrency Theory

This page was built for publication: Generalized interface automata with multicast synchronization