GCG: General Consistencies Guarantee of Software-Defined Network Updates | IEEE Conference Publication | IEEE Xplore