@inbook{foster-2016-probabilistic, title={Probabilistic NetKAT}, ISBN={9783662494981}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-662-49498-1_12}, DOI={10.1007/978-3-662-49498-1_12}, booktitle={Programming Languages and Systems}, publisher={Springer Berlin Heidelberg}, author={Foster, Nate and Kozen, Dexter and Mamouras, Konstantinos and Reitblatt, Mark and Silva, Alexandra}, year={2016}, pages={282–309} }