Pages that link to "Item:Q3587426"
From MaRDI portal
The following pages link to Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata (Q3587426):
Displaying 10 items.
- On deciding synchronizability for asynchronously communicating systems (Q344799) (← links)
- A quadratic construction for Zielonka automata with acyclic communication structure (Q407518) (← links)
- Compositional synthesis of asynchronous automata (Q551202) (← links)
- Controlling loosely cooperating processes (Q896910) (← links)
- Realizability of concurrent recursive programs (Q1620953) (← links)
- CD-systems of stateless deterministic R(1)-automata governed by an external pushdown store (Q3117547) (← links)
- On Distributed Monitoring and Synthesis (Q3195680) (← links)
- Automated Synthesis of Distributed Controllers (Q3449462) (← links)
- Distributed Control of Discrete-Event Systems: A First Step (Q4909348) (← links)
- Automated Synthesis: a Distributed Viewpoint (Q5136292) (← links)
