Yuxin Deng, Min Zhang 0002, Guoqing Lei. An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics. In Zhenhua Duan, Luke Ong, editors, Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. Volume 10610 of Lecture Notes in Computer Science, pages 464-480, Springer, 2017. [doi]
Abstract is missing.