4 citations · 4 across the 3 of their papers we have counts for
4 papers
The Directed Probabilistic Powerspace
Xiaolin Xie, Hui Kou, Zhenchao Lyu
Probabilistic powerdomain in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages with probabilistic choice. In this…
Two topologies on the lattice of Scott closed subsets
Yu Chen, Hui Kou, Zhenchao Lyu
For a poset , let and respectively denote the lattice of its Scott open subsets and Scott closed subsets ordered by inclusion, and set . In this paper…
Core-compactness of Smyth powerspaces
Zhenchao Lyu, Xiaodong Jia
We prove that the Smyth powerspace Q(X) of a topological space X is core-compact if and only if X is locally compact. As a straightforward consequence we obtain that the Smyth powe…
Domain-complete and LCS-complete spaces
Matthew de Brecht, Jean Goubault-Larrecq, Xiaodong Jia +1
We study subspaces of continuous dcpos, which we call domain-complete spaces, and subspaces of locally compact sober spaces, which we call LCS-complete spaces. Those in…