A Coalgebraic Decision Procedure for NetKAT.

Nate Foster, Dexter Kozen, Mae Milano, Alexandra Silva, Laure Thompson

Browse the full POPL paper archive.