Pages that link to "Item:Q1941703"
From MaRDI portal
The following pages link to Decidability of well-connectedness for distributed synthesis (Q1941703):
Displaying 6 items.
- Distributed synthesis for well-connected architectures (Q842581) (← links)
- Distributed synthesis is simply undecidable (Q2445907) (← links)
- An axiomatic approach to computing the connectivity of synchronous and asynchronous systems (Q2810958) (← links)
- Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge (Q2849954) (← links)
- On the (High) Undecidability of Distributed Synthesis Problems (Q5448782) (← links)
- (Q6168442) (← links)