A probabilistic powerdomain of evaluations | IEEE Conference Publication | IEEE Xplore