Pages that link to "Item:Q2164231"
From MaRDI portal
The following pages link to Synchronization synthesis for network programs (Q2164231):
Displaying 6 items.
- Automatic synthesis of transiently correct network updates via Petri games (Q2117163) (← links)
- \textit{Renaissance}: a self-stabilizing distributed SDN control plane using in-band communications (Q2121474) (← links)
- Concurrent NetCore: from policies to pipelines (Q2819659) (← links)
- Decentralizing SDN policies (Q2819856) (← links)
- Model Checking Data Flows in Concurrent Network Updates (Q3297609) (← links)
- (Q4537079) (← links)