Pages that link to "Item:Q1686112"
From MaRDI portal
The following pages link to Local checkability, no strings attached: (a)cyclicity, reachability, loop free updates in SDNs (Q1686112):
Displaying 9 items.
- Local checkability, no strings attached: (a)cyclicity, reachability, loop free updates in SDNs (Q1686112) (← links)
- Randomized proof-labeling schemes (Q2002054) (← links)
- Redundancy in distributed proofs (Q2025853) (← links)
- Proof labeling schemes for reachability-related problems in directed graphs (Q2097332) (← links)
- A hierarchy of local decision (Q2219059) (← links)
- Scheduling loop-free network updates: it's good to relax! (Q2796237) (← links)
- Redundancy in distributed proofs (Q5090916) (← links)
- Fast distributed algorithms for testing graph properties (Q5915702) (← links)
- Approximate proof-labeling schemes (Q5919426) (← links)