Pages that link to "Item:Q2796237"
From MaRDI portal
The following pages link to Scheduling loop-free network updates: it's good to relax! (Q2796237):
Displaying 6 items.
- Local checkability, no strings attached: (a)cyclicity, reachability, loop free updates in SDNs (Q1686112) (← links)
- Automatic synthesis of transiently correct network updates via Petri games (Q2117163) (← links)
- Kaki: concurrent update synthesis for regular policies via Petri games (Q2165522) (← links)
- Transiently Consistent SDN Updates: Being Greedy is Hard (Q2835039) (← links)
- Congestion-Free Rerouting of Flows on DAGs (Q5002832) (← links)
- Kaki: efficient concurrent update synthesis for SDN (Q6611958) (← links)