Decentralizing SDN Policies

DOI10.1145/2676726.2676990zbMath1346.68027OpenAlexW2030814077MaRDI QIDQ2819856

Mooly Sagiv, Neil Immerman, Ori Lahav, Oded Padon, Sharon Shoham, Aleksandr Karbyshev

Publication date: 29 September 2016

Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2676726.2676990

zbMATH Keywords

synthesisdistributed systemslogic programmingsoftware-defined networkingnetwork programming languages

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Theory of programming languages (68N15) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Logic programming (68N17) Distributed systems (68M14)

Related Items (3)

Model Checking Data Flows in Concurrent Network Updates ⋮ Stratified guarded first-order transition systems ⋮ Transiently Consistent SDN Updates: Being Greedy is Hard

This page was built for publication: Decentralizing SDN Policies