Pages that link to "Item:Q3591422"
From MaRDI portal
The following pages link to Constructing Exponential-Size Deterministic Zielonka Automata (Q3591422):
Displaying 8 items.
- A quadratic construction for Zielonka automata with acyclic communication structure (Q407518) (← links)
- Compositional synthesis of asynchronous automata (Q551202) (← links)
- Weighted asynchronous cellular automata (Q1022595) (← links)
- Realizability of concurrent recursive programs (Q1620953) (← links)
- Distributed Asynchronous Automata (Q3184669) (← links)
- On Distributed Monitoring and Synthesis (Q3195680) (← links)
- Automated Synthesis of Distributed Controllers (Q3449462) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)
