QRB-Domains and the Probabilistic Powerdomain

DOI10.2168/LMCS-8(1:14)2012zbMath1239.06002arXiv1202.2287OpenAlexW2150089998MaRDI QIDQ2881081

Jean Goubault-Larrecq

Publication date: 3 April 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1202.2287

zbMATH Keywords

domain theoryprobabilistic powerdomainquasi-continuous domains

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (13)

Quasicontinuous domains and the Smyth powerdomain ⋮ Information systems for continuous semi-lattices ⋮ QRB, QFS, and the probabilistic powerdomain ⋮ Consistent Smyth powerdomains of topological spaces and quasicontinuous domains ⋮ QC-continuity of posets and the Hoare powerdomain of QFS-domains ⋮ Scott topology on Smyth power posets ⋮ Isomorphism theorems between models of mixed choice ⋮ Coincidence of the Isbell and Scott topologies on the function spaces of quasicontinuous domains ⋮ The probabilistic powerdomain from a topological viewpoint ⋮ Probabilistic Powerdomains and Quasi-Continuous Domains ⋮ The equivalence of QRB, QFS, and compactness for quasicontinuous domains. ⋮ QFS-domains and quasicontinuous domains. ⋮ All Cartesian closed categories of quasicontinuous domains consist of domains

This page was built for publication: QRB-Domains and the Probabilistic Powerdomain