A Coalgebraic Decision Procedure for NetKAT
Composing software-defined networks