Characterizing finite posets whose probabilistic powerdomain are RB-domains

Yuxu Chen, Hui Kou, Zhenchao Lyu

We classify the finite posets whose probabilistic powerdomain is an RB-domain. For a finite nonempty poset \(P\), let \(\Vone(P)\) be the probability powerdomain of $P$, which is t…