QRB-Domains and the Probabilistic Powerdomain
From MaRDI portal
Publication:2881081
DOI10.2168/LMCS-8(1:14)2012zbMath1239.06002arXiv1202.2287OpenAlexW2150089998MaRDI QIDQ2881081
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
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
