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