4 papers
Free algebras over directed spaces
Yuxu Chen, Hui Kou
Directed spaces are natural topological extensions of dcpos in domain theory and form a cartesian closed category. In order to model nondeterministic semantics, the power structure…
Power structures of directed spaces
Xiaolin Xie, Yuxu Chen, Hui Kou
Powerdomains in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages.\ In this paper,\ we extend the notion of power…
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…