RT Book, Section
T1 Some probabilistic powerdomains in the category SFP
A1 Frutos Escrig, David De
A2 Monien, B.
A2 Vidal Naquet, G.
AB We 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.
PB Springer
SN 978-3-540-16078-6
YR 1986
FD 1986
LK https://hdl.handle.net/20.500.14352/65445
UL https://hdl.handle.net/20.500.14352/65445
NO Frutos Escrig, D. «Some probabilistic powerdomains in the category SFP». STACS 86, editado por B. Monien y G. Vidal-Naquet, vol. 210, Springer Berlin Heidelberg, 1986, pp. 49-59. DOI.org (Crossref), https://doi.org/10.1007/3-540-16078-7_64.
DS Docta Complutense
RD 10 abr 2025