Cantor meets scott: semantic foundations for probabilistic networks
Maple: simplifying SDN programming using algorithmic policies