Stone Duality for Markov Processes

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

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

19 Citations (Scopus)

1 results

Filter

Finished
MT-LAB: MT-LAB A VKR Foundation Center of Excellence
Larsen, K. G. (Project Manager), Skou, A. (Project Participant), Srba, J. (Project Participant), Ravn, A. P. (Project Participant), David, A. (Project Participant) & Wisniewski, R. (Project Participant)
VKR Centre of Excellence
01/10/2008 → 01/10/2013
Project: Research