Update Algebra: Toward Continuous, Non-Blocking Composition of Network Updates in SDN | IEEE Conference Publication | IEEE Xplore