Some probabilistic powerdomains in the category SFP



Downloads per month over past year

Frutos Escrig, David de (1986) Some probabilistic powerdomains in the category SFP. In STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986. Lecture notes in computer science (210). Springer, pp. 49-59. ISBN 978-3-540-16078-6

Official URL:


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.

Item Type:Book Section
Subjects:Sciences > Computer science
ID Code:20778
Deposited On:11 Apr 2013 11:06
Last Modified:11 Apr 2013 11:06

Origin of downloads

Repository Staff Only: item control page