A Coalgebraic Decision Procedure for NetKAT

Publication
Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Date
Next
Previous