PGA: Using Graphs to Express and Automatically Reconcile Network Policies
A Coalgebraic Decision Procedure for NetKAT