Frutos Escrig, David deMonien, B.Vidal Naquet, G.2023-06-212023-06-211986978-3-540-16078-610.1007/3-540-16078-7_64https://hdl.handle.net/20.500.14352/65445We define and study some definitions of probabilistic powerdomains over domains in SFP. We give three definitions: the first one is based in the notion of probability distribution over a domain; the second in probabilistic generating trees, that generalize the notion of generating tree, introduced by Smyth; and the last in "informations about probability distributions", that we introduce, getting an information system, as defined by Scott.book parthttp://link.springer.com/chapter/10.1007/3-540-16078-7_64http://www.springer.com/metadata only access004Informática (Informática)1203.17 Informática