Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata
From MaRDI portal
Publication:3587426
DOI10.1007/978-3-642-14162-1_5zbMath1288.68154OpenAlexW1521666457MaRDI QIDQ3587426
Blaise Genest, Igor Walukiewicz, Hugo Gimbert, Anca Muscholl
Publication date: 7 September 2010
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-14162-1_5
Related Items (11)
Realizability of concurrent recursive programs ⋮ Automated Synthesis of Distributed Controllers ⋮ On deciding synchronizability for asynchronously communicating systems ⋮ On Distributed Monitoring and Synthesis ⋮ A quadratic construction for Zielonka automata with acyclic communication structure ⋮ Controlling loosely cooperating processes ⋮ A PO characterisation of reconfiguration ⋮ Distributed Control of Discrete-Event Systems: A First Step ⋮ Compositional synthesis of asynchronous automata ⋮ CD-systems of stateless deterministic R(1)-automata governed by an external pushdown store ⋮ Automated Synthesis: a Distributed Viewpoint
This page was built for publication: Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata
