Steffen Smolka, Praveen Kumar 0003, Nate Foster, Dexter Kozen, Alexandra Silva 0001
Cantor meets scott: semantic foundations for probabilistic networks
POPL, 2017.
@inproceedings{POPL-2017-SmolkaKFK0,
author = "Steffen Smolka and Praveen Kumar 0003 and Nate Foster and Dexter Kozen and Alexandra Silva 0001",
booktitle = "{Proceedings of the 44th Symposium on Principles of Programming Languages}",
isbn = "978-1-4503-4660-3",
pages = "557--571",
publisher = "{ACM}",
title = "{Cantor meets scott: semantic foundations for probabilistic networks}",
year = 2017,
}