@inproceedings{6c715690b9414aa1936c73cd7918015c,
title = "QRB, QFS, and the probabilistic powerdomain",
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.",
keywords = "QRB-spaces, QFS-spaces, QRB-domains, QFS-domains, stably compact spaces, probabilistic powerdomain",
author = "Jean Goubault-larrecq and Achim Jung",
year = "2014",
month = oct,
day = "29",
doi = "10.1016/j.entcs.2014.10.010",
language = "English",
volume = "308",
series = "Electronic Notes in Theoretical Computer Science",
publisher = "Elsevier",
pages = "167--182",
editor = "Bart Jacobs and Silva, {Alexandra } and Staton, {Sam }",
booktitle = "Proceedings of the 30th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXX)",
note = "30th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXX) ; Conference date: 12-06-2014 Through 15-06-2014",
}