Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden. Stone Duality for Markov Processes. In 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013. pages 321-330, IEEE Computer Society, 2013. [doi]
@inproceedings{KozenLMP13,
title = {Stone Duality for Markov Processes},
author = {Dexter Kozen and Kim G. Larsen and Radu Mardare and Prakash Panangaden},
year = {2013},
doi = {10.1109/LICS.2013.38},
url = {http://doi.ieeecomputersociety.org/10.1109/LICS.2013.38},
researchr = {https://researchr.org/publication/KozenLMP13},
cites = {0},
citedby = {0},
pages = {321-330},
booktitle = {28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013},
publisher = {IEEE Computer Society},
isbn = {978-1-4799-0413-6},
}