The following pages link to Decentralizing SDN policies (Q2819856):
Displaying 8 items.
- SDN-actors: modeling and verification of SDN programs (Q2024371) (← links)
- \textit{Renaissance}: a self-stabilizing distributed SDN control plane using in-band communications (Q2121474) (← links)
- Stratified guarded first-order transition systems (Q2233528) (← links)
- Concurrent NetCore: from policies to pipelines (Q2819659) (← links)
- Transiently Consistent SDN Updates: Being Greedy is Hard (Q2835039) (← links)
- 软件定义网络:安全模型、机制及研究进展 (Q2951195) (← links)
- Model Checking Data Flows in Concurrent Network Updates (Q3297609) (← links)
- Prenex universal first-order safety properties (Q6551713) (← links)