Título: | Some probabilistic powerdomains in the category SFP |
Autores: | Frutos Escrig, David de |
Tipo de documento: | texto impreso |
Editorial: | Springer, 1986 |
Palabras clave: | Estado = Publicado , Materia = Ciencias: Informática , Tipo = Sección de libro |
Resumen: | 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. |
Ejemplares
Estado |
---|
ningún ejemplar |