QRB, QFS, and the probabilistic powerdomain

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

Authors

Colleges, School and Institutes

Abstract

We show that the first author's QRB-domains coincide with Li and Xu's QFS-domains, and also with Lawson-compact quasi-continuous dcpos, with stably-compact locally finitary compact spaces, with sober QFS-spaces, and with sober QRB-spaces. The first three coincidences were discovered independently by Lawson and Xi. The equivalence with sober QFS-spaces is then applied to give a novel, direct proof that the probabilistic powerdomain of a QRB-domain is a QRB-domain. This improves upon a previous, similar result, which was limited to pointed, second-countable QRB-domains.

Details

Original languageEnglish
Title of host publicationProceedings of the 30th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXX)
EditorsBart Jacobs, Alexandra Silva, Sam Staton
Publication statusPublished - 29 Oct 2014
Event30th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXX) - Cornell University, Ithaca, NY, United States
Duration: 12 Jun 201415 Jun 2014

Publication series

NameElectronic Notes in Theoretical Computer Science
Volume308
ISSN (Electronic)1571-0661

Conference

Conference30th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXX)
CountryUnited States
CityIthaca, NY
Period12/06/1415/06/14

Keywords

  • QRB-spaces, QFS-spaces, QRB-domains, QFS-domains, stably compact spaces, probabilistic powerdomain