An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics.

Yuxin Deng, Min Zhang, Guoqing Lei

Browse the full ICFEM paper archive.