1 citations · 1 across the 13 of their papers we have counts for
1 paper · 2 filters
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…