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

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

19 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on
Forlag	IEEE
Publikationsdato	2013
Sider	321-330
DOI	https://doi.org/10.1109/LICS.2013.38
Status	Udgivet - 2013
Begivenhed	28th Annual ACM/IEEE Symposium on Logic in Computer Science - New Orleans, Los Angeles, USA Varighed: 25 jun. 2013 → 28 jun. 2013

Konference

Konference	28th Annual ACM/IEEE Symposium on Logic in Computer Science
Land/Område	USA
By	New Orleans, Los Angeles
Periode	25/06/2013 → 28/06/2013

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

Adgang til dokumentet

10.1109/LICS.2013.38

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

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

MT-LAB: MT-LAB A VKR Foundation Center of Excellence
Larsen, K. G., Skou, A., Srba, J., Ravn, A. P., David, A. & Wisniewski, R.
VKR Centre of Excellence
01/10/2008 → 01/10/2013
Projekter: Projekt › Forskning

Citationsformater

@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",

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. i Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on. IEEE, Annual Symposium on Logic in Computer Science, s. 321-330, 28th Annual ACM/IEEE Symposium on Logic in Computer Science, New Orleans, Los Angeles, USA, 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, 2013. s. 321-330 (Annual Symposium on Logic in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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

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

Konference

Adgang til dokumentet

AUB Link

Projekter

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

Citationsformater