TY  - RPRT
TI  - Characterizing finite posets whose probabilistic powerdomain are RB-domains
AU  - Yuxu Chen
AU  - Hui Kou
AU  - Zhenchao Lyu
PY  - 2026
UR  - https://arxiv.org/abs/2607.02231
ID  - 2607.02231
ER  -