Dexter Kozen. NetKAT - A Formal System for the Verification of Networks. In Jacques Garrigue, editor, Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings. Volume 8858 of Lecture Notes in Computer Science, pages 1-18, Springer, 2014. [doi]
Abstract is missing.