A coalgebraic decision procedure for NetKAT (0)

by N Foster, D Kozen, M Milano, A Silva, L Thompson
Venue:POPL