A Coalgebraic Decision Procedure for NetKAT

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

Last updated on Dec 31, 2021

PDF DOI

Type

Publication

Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Date

July, 2015