Constructing Exponential-Size Deterministic Zielonka Automata
From MaRDI portal
Publication:3591422
DOI10.1007/11787006_48zbMath1133.68362OpenAlexW2469405623MaRDI QIDQ3591422
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
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