SCL: simplifying distributed SDN control planes
Abstractions for network update