QRB, QFS, and the probabilistic powerdomain
Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language | English |
---|---|
Title of host publication | Proceedings of the 30th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXX) |
Editors | Bart Jacobs, Alexandra Silva, Sam Staton |
Publication status | Published - 29 Oct 2014 |
Event | 30th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXX) - Cornell University, Ithaca, NY, United States Duration: 12 Jun 2014 → 15 Jun 2014 |
Publication series
Name | Electronic Notes in Theoretical Computer Science |
---|---|
Volume | 308 |
ISSN (Electronic) | 1571-0661 |
Conference
Conference | 30th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXX) |
---|---|
Country | United States |
City | Ithaca, NY |
Period | 12/06/14 → 15/06/14 |
Keywords
- QRB-spaces, QFS-spaces, QRB-domains, QFS-domains, stably compact spaces, probabilistic powerdomain