Analysis of Communicating Automata

DOI10.1007/978-3-642-13089-2_4MaRDI QIDQ3564848zbMATH OpenOpenAlexFDO

Authors Anca Muscholl

Publication date 26 May 2010

Published in Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13089-2_4

zbMATH Keywords

automated verificationcommunicating automatasurvey paper

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(4)

• On the k-synchronizability of systems
• Automata-Theoretic Analysis of Bit-Split Languages for Packet Scanning
• Automated Analysis of Discrete Communication Behavior
• Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines

This page was built for publication: Analysis of Communicating Automata

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