A quadratic construction for Zielonka automata with acyclic communication structure
DOI10.1016/J.TCS.2013.07.015zbMATH Open1360.68566OpenAlexW1988549888MaRDI QIDQ407518FDOQ407518
Authors: Siddharth Krishna, Anca Muscholl 
Publication date: 2 September 2014
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2013.07.015
Recommendations
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Using branching time temporal logic to synthesize synchronization skeletons
- Notes on finite asynchronous automata
- Title not available (Why is that?)
- Optimal Zielonka-type construction of deterministic asynchronous automata
- A Kleene theorem and model checking algorithms for existentially bounded communicating automata
- A theory of regular MSC languages
- Distributed Asynchronous Automata
- Constructing Exponential-Size Deterministic Zielonka Automata
- Title not available (Why is that?)
- Title not available (Why is that?)
- Determinizing asynchronous automata
- Keeping track of the latest gossip in a distributed system
- Synthesis of distributed algorithms using asynchronous automata.
- Asynchronous mappings and asynchronous cellular automata
- Partial (set) 2-structures. II: State spaces of concurrent systems
Cited In (9)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automated synthesis of distributed controllers
- A PO characterisation of reconfiguration
- Constructing Exponential-Size Deterministic Zielonka Automata
- Unfolding Synthesis of Asynchronous Automata
- On Distributed Monitoring and Synthesis
- Optimal Zielonka-type construction of deterministic asynchronous automata
This page was built for publication: A quadratic construction for Zielonka automata with acyclic communication structure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q407518)
