Some probabilistic powerdomains in the category SFP
| dc.book.title | STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16–18, 1986 | |
| dc.contributor.author | Frutos Escrig, David De | |
| dc.contributor.editor | Monien, B. | |
| dc.contributor.editor | Vidal Naquet, G. | |
| dc.date.accessioned | 2023-06-21T02:42:45Z | |
| dc.date.available | 2023-06-21T02:42:45Z | |
| dc.date.issued | 1986 | |
| dc.description.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. | en |
| dc.description.department | Sección Deptal. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.faculty | Instituto de Matemática Interdisciplinar (IMI) | |
| dc.description.refereed | TRUE | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/20778 | |
| dc.identifier.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. | |
| dc.identifier.doi | 10.1007/3-540-16078-7_64 | |
| dc.identifier.isbn | 978-3-540-16078-6 | |
| dc.identifier.officialurl | https//doi.org/10.1007/3-540-16078-7_64 | |
| dc.identifier.relatedurl | http://link.springer.com/chapter/10.1007/3-540-16078-7_64 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/65445 | |
| dc.issue.number | 210 | |
| dc.page.final | 59 | |
| dc.page.initial | 49 | |
| dc.publisher | Springer | |
| dc.relation.ispartofseries | Lecture notes in computer science | |
| dc.rights.accessRights | metadata only access | |
| dc.subject.cdu | 004 | |
| dc.subject.ucm | Informática (Informática) | |
| dc.subject.unesco | 1203.17 Informática | |
| dc.title | Some probabilistic powerdomains in the category SFP | en |
| dc.type | book part | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | fc861853-ad02-4152-b8b0-e0a8df6080dc | |
| relation.isAuthorOfPublication.latestForDiscovery | fc861853-ad02-4152-b8b0-e0a8df6080dc |