1. Carolyn Jane Anderson Nate Foster Arjun Guha Jean-Baptiste Jeannin Dexter Kozen Cole Schlesinger and David Walker. 2014. NetKAT: Semantic foundations for networks. Acm sigplan notices 49 1 113--126. Carolyn Jane Anderson Nate Foster Arjun Guha Jean-Baptiste Jeannin Dexter Kozen Cole Schlesinger and David Walker. 2014. NetKAT: Semantic foundations for networks. Acm sigplan notices 49 1 113--126.
2. P4
3. IP covert timing channels