2022/03/09 by Xie Xiaolin, Xiaolin Xie, Hui Kou +4
Computer Science · Mathematics · #06B35 #54A20 #54B30 #54H10 #Constraint Satisfaction and Optimization #FOS: Mathematics #General Topology (math.GN) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #math.GN #msc:06B35 #msc:54A20 #msc:54B30 #msc:54H10
paper · pdf · doi:10.48550/arxiv.2203.04506
14 pages
openalex publication_date 2022/03/09 · arxiv created 2022/03/11 · arxiv updated 2022/03/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Probabilistic powerdomain in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages with probabilistic choice. In this paper, we extend the notion of powerdomain to directed spaces, which is equivalent to the notion of the T0 monotone-determined space [4]. We construct the probabilistic powerspace of the directed space, which is defined as a free directed space-cone. In addition, the relationships between our construction and classical probabilistic powerdomain are studied.