TY  - RPRT
TI  - Cantor meets Scott: Semantic Foundations for Probabilistic Networks
AU  - Steffen Smolka
AU  - Praveen Kumar
AU  - Nate Foster
AU  - Dexter Kozen
AU  - Alexandra Silva
PY  - 2018
DO  - 10.1145/3009837.3009843
UR  - https://arxiv.org/abs/1607.05830
ID  - 1607.05830
ER  -