Communicating automata

DOI10.4171/AUTOMATA-2/9MaRDI QIDQ2244826zbMATH OpenOpenAlexFDO

Authors Dietrich Kuske, Anca Muscholl

Publication date 12 November 2021

Full work available at URL https://doi.org/10.4171/automata-2/9

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1490952
• On communicating automata with bounded channels
• On Communicating Finite-State Machines
• Formal Models of Communicating Systems
• Measuring communication in parallel communicating finite automata

Cited in

(10)

• Communication for alternating machines
• Automated Analysis of Discrete Communication Behavior
• Generalized Communicating P Automata
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• Can we communicate? Using dynamic logic to verify team automata
• An automata-based approach for synchronizable mailbox communication
• Synchronisability in mailbox communication
• A class of rational trace relations closed under composition
• An automata-based approach for synchronizable mailbox communication
• On the send-synchronizability problem for mailbox communication

This page was built for publication: Communicating automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2244826)