Analysis of Communicating Automata

DOI10.1007/978-3-642-13089-2_4zbMath1284.68360OpenAlexW1557879145MaRDI QIDQ3564848

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

survey paperautomated verificationcommunicating automata

Mathematics Subject Classification ID

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

Related Items (2)

Formal verification for event stream processing: model checking of BeepBeep stream processing pipelines ⋮ On the \(k\)-synchronizability of systems

This page was built for publication: Analysis of Communicating Automata