Luis María Ferrer Fioriti, Holger Hermanns
Probabilistic Termination: Soundness, Completeness, and Compositionality
POPL, 2015.
@inproceedings{POPL-2015-FioritiH, author = "Luis María Ferrer Fioriti and Holger Hermanns", booktitle = "{Proceedings of the 42nd Symposium on Principles of Programming Languages}", doi = "10.1145/2676726.2677001", isbn = "978-1-4503-3300-9", pages = "489--501", publisher = "{ACM}", title = "{Probabilistic Termination: Soundness, Completeness, and Compositionality}", year = 2015, }