Stone Duality for Markov Processes

Dexter Kozen, Kim Guldstrand Larsen, Radu Iulian Mardare, Prakash Panangaden

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

15 Citations (Scopus)
Original languageEnglish
Title of host publicationLogic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on
PublisherIEEE
Publication date2013
Pages321-330
DOIs
Publication statusPublished - 2013
Event28th Annual ACM/IEEE Symposium on Logic in Computer Science - New Orleans, Los Angeles, United States
Duration: 25 Jun 201328 Jun 2013

Conference

Conference28th Annual ACM/IEEE Symposium on Logic in Computer Science
CountryUnited States
CityNew Orleans, Los Angeles
Period25/06/201328/06/2013
SeriesAnnual Symposium on Logic in Computer Science
ISSN1043-6871

Cite this