Fei He, Xiaowei Gao, Bow-Yaw Wang, Lijun Zhang
Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems
POPL, 2015.
@inproceedings{POPL-2015-HeGWZ,
author = "Fei He and Xiaowei Gao and Bow-Yaw Wang and Lijun Zhang",
booktitle = "{Proceedings of the 42nd Symposium on Principles of Programming Languages}",
doi = "10.1145/2676726.2676998",
isbn = "978-1-4503-3300-9",
pages = "503--514",
publisher = "{ACM}",
title = "{Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems}",
year = 2015,
}