NetKAT: Semantic foundations for networks (2014)

by Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker
Venue:In POPL