Cantor meets scott: semantic foundations for probabilistic networks
Header space analysis: Static checking for networks