DMCA

NetKAT: Semantic foundations for networks (2014)

by Carolyn Jane Anderson , Nate Foster , Arjun Guha , Jean-baptiste Jeannin , Dexter Kozen , David Walker
Venue:In POPL
Citations:33 - 14 self