The probabilistic powerdomain from a topological viewpoint

DOI10.1016/J.TOPOL.2018.01.008zbMath1422.54007OpenAlexW2791102709MaRDI QIDQ684027

Hui Kou, Zhenchao Lyu

Publication date: 9 February 2018

Published in: Topology and its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.topol.2018.01.008

zbMATH Keywords

coherentprobabilistic powerdomainc-spacelocally finitary compactrestriction and corestriction

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Topological lattices (06B30) Generalities in topology (54A99)

Related Items (3)

A logic for Lawson compact algebraic L-domains ⋮ Probabilistic Powerdomains and Quasi-Continuous Domains ⋮ Two topologies on the lattice of Scott closed subsets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• QRB, QFS, and the probabilistic powerdomain
• Semantic domains for combining probability and non-determinism
• The probabilistic powerdomain for stably compact spaces
• All Cartesian closed categories of quasicontinuous domains consist of domains
• QRB-Domains and the Probabilistic Powerdomain
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory

This page was built for publication: The probabilistic powerdomain from a topological viewpoint