Stone Duality for Markov Processes

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

doi:10.1109/LICS.2013.38

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)

Original language	English
Title of host publication	Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on
Publisher	IEEE (Institute of Electrical and Electronics Engineers)
Publication date	2013
Pages	321-330
DOIs	https://doi.org/10.1109/LICS.2013.38
Publication status	Published - 2013
Event	28th Annual ACM/IEEE Symposium on Logic in Computer Science - New Orleans, Los Angeles, United States Duration: 25 Jun 2013 → 28 Jun 2013

Conference

Conference	28th Annual ACM/IEEE Symposium on Logic in Computer Science
Country/Territory	United States
City	New Orleans, Los Angeles
Period	25/06/2013 → 28/06/2013

Series	Annual Symposium on Logic in Computer Science
ISSN	1043-6871

Access to Document

10.1109/LICS.2013.38

http://www.computer.org/csdl/proceedings/lics/2013/5020/00/5020a321-abs.html

AUB Link

Search for the material in Aalborg University Library's search engine

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

Cite this

@inproceedings{1e5020f6264f4d6c963ad5d37ee76a2b,

title = "Stone Duality for Markov Processes",

author = "Dexter Kozen and Larsen, {Kim Guldstrand} and Mardare, {Radu Iulian} and Prakash Panangaden",

year = "2013",

doi = "10.1109/LICS.2013.38",

language = "English",

series = "Annual Symposium on Logic in Computer Science",

publisher = "IEEE (Institute of Electrical and Electronics Engineers)",

pages = "321--330",

booktitle = "Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on",

address = "United States",

note = "28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013 ; Conference date: 25-06-2013 Through 28-06-2013",

}

Kozen, D, Larsen, KG, Mardare, RI & Panangaden, P 2013, Stone Duality for Markov Processes. in Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on. IEEE (Institute of Electrical and Electronics Engineers), Annual Symposium on Logic in Computer Science, pp. 321-330, 28th Annual ACM/IEEE Symposium on Logic in Computer Science, New Orleans, Los Angeles, United States, 25/06/2013. https://doi.org/10.1109/LICS.2013.38

Stone Duality for Markov Processes. / Kozen, Dexter; Larsen, Kim Guldstrand; Mardare, Radu Iulian et al.
Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on. IEEE (Institute of Electrical and Electronics Engineers), 2013. p. 321-330 (Annual Symposium on Logic in Computer Science).

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

TY - GEN

T1 - Stone Duality for Markov Processes

AU - Kozen, Dexter

AU - Larsen, Kim Guldstrand

AU - Mardare, Radu Iulian

AU - Panangaden, Prakash

PY - 2013

Y1 - 2013

U2 - 10.1109/LICS.2013.38

DO - 10.1109/LICS.2013.38

M3 - Article in proceeding

T3 - Annual Symposium on Logic in Computer Science

SP - 321

EP - 330

BT - Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on

PB - IEEE (Institute of Electrical and Electronics Engineers)

T2 - 28th Annual ACM/IEEE Symposium on Logic in Computer Science

Y2 - 25 June 2013 through 28 June 2013

ER -

Stone Duality for Markov Processes

Conference

Access to Document

AUB Link

Projects

MT-LAB: MT-LAB A VKR Foundation Center of Excellence

Cite this