Characterizing finite posets whose probabilistic powerdomain are RB-domains | Digital Library | PAMCET | PAMCET