A Coalgebraic Decision Procedure for NetKAT
B4: experience with a globally-deployed software defined wan