Decentralized Consistent Updates in SDN
Abstractions for network update