Journal article
Measuring the probabilistic powerdomain
- Abstract:
- In this paper we initiate the study of measurements on the probabilistic powerdomain. We show how measurements on the underlying domain naturally extend to the probabilistic powerdomain, so that the kernel of the extension consists of exactly those normalized valuations on the kernel of the measurement on the underlying domain. This result is combined with now-standard results from the theory of measurements to obtain a new proof that the fixed point associated with a weakly hyperbolic IFS with probabilities is the unique invariant measure whose support is the attractor of the underlying IFS.
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Version of record, pdf, 377.2KB, Terms of use)
-
- Publisher copy:
- 10.1016/S0304-3975(03)00404-3
Authors
- Publisher:
- Elsevier
- Journal:
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) More from this journal
- Volume:
- 2380 LNCS
- Pages:
- 463-475
- Publication date:
- 2002-01-01
- DOI:
- EISSN:
-
1611-3349
- ISSN:
-
0304-3975
- Language:
-
English
- Pubs id:
-
pubs:367125
- UUID:
-
uuid:f00025e5-49ff-459a-b316-d442d8a35cfd
- Local pid:
-
pubs:367125
- Source identifiers:
-
367125
- Deposit date:
-
2013-11-17
Terms of use
- Copyright holder:
- Elsevier BV
- Copyright date:
- 2002
- Notes:
- Copyright 2003 Elsevier B.V. All rights reserved. Re-use of this article is permitted in accordance with the Terms and Conditions set out at http://www.elsevier.com/open-access/userlicense/1.0/
If you are the owner of this record, you can report an update to it here: Report update to this record