Constructing Exponential-Size Deterministic Zielonka Automata

DOI10.1007/11787006_48zbMath1133.68362OpenAlexW2469405623MaRDI QIDQ3591422

Anca Muscholl, Blaise Genest

Publication date: 11 September 2007

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11787006_48

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Realizability of concurrent recursive programs, Automated Synthesis of Distributed Controllers, Distributed Asynchronous Automata, On Distributed Monitoring and Synthesis, A quadratic construction for Zielonka automata with acyclic communication structure, A Theory of Formal Choreographic Languages, Compositional synthesis of asynchronous automata, Realizability of Concurrent Recursive Programs, Weighted asynchronous cellular automata