A metric analog of stone duality for markov processes

Kim Larsen, Radu Mardare, Prakash Panangaden

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Original languageEnglish
Title of host publicationProceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014
Pages1-2
Number of pages2
Publication statusPublished - 15 Jun 2014

Keywords

  • stone duality
  • markov processes
  • stone representation theorem
  • boolean algebra

Cite this