Smolka, S; Kumar, P; Foster, N; Kozen, D; Silva, A; (2017) Cantor Meets Scott: Semantic Foundations for Probabilistic Networks. In: Castagna, Giuseppe and Gordon, Andrew D., (eds.) Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017. (pp. pp. 557-571). ACM: Paris, France.