Universidad Complutense de Madrid
E-Prints Complutense

Some probabilistic powerdomains in the category SFP

Impacto

Downloads

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: http://link.springer.com/chapter/10.1007/3-540-16078-7_64


URLURL Type
http://www.springer.com/Publisher


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.


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