A metric analog of stone duality for markov processes

Kim Larsen, Radu Mardare, Prakash Panangaden

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book

Original language	English
Title of host publication	Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014
Pages	1-2
Number of pages	2
Publication status	Published - 15 Jun 2014

Keywords

@inproceedings{f9f3869289c048bfa6ffd1383122f38b,

title = "A metric analog of stone duality for markov processes",

keywords = "stone duality, markov processes, stone representation theorem, boolean algebra",

author = "Kim Larsen and Radu Mardare and Prakash Panangaden",

year = "2014",

month = jun,

day = "15",

language = "English",

pages = "1--2",

booktitle = "Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014",

}

TY - GEN

T1 - A metric analog of stone duality for markov processes

AU - Larsen, Kim

AU - Mardare, Radu

AU - Panangaden, Prakash

PY - 2014/6/15

Y1 - 2014/6/15

KW - stone duality

KW - markov processes

KW - stone representation theorem

KW - boolean algebra

M3 - Conference contribution book

SP - 1

EP - 2

BT - Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014

ER -