Cantor meets scott: semantic foundations for probabilistic networks.

Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva

Browse the full POPL paper archive.