Some probabilistic powerdomains in the category SFP
Loading...
Official URL
Full text at PDC
Publication date
1986
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Citations
Exportar
Citation
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.
Abstract
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.