Probabilistic non-determinism
Selected papers of the workshop on Topology and completion in semantics
Power domains and iterated function systems
Information and Computation
A computational model for metric spaces
Theoretical Computer Science
The Measurement Process in Domain Theory
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Mathematical Structures in Computer Science
Measuring the probabilistic powerdomain
Theoretical Computer Science - Special issue on automata, languages and programming
Hi-index | 0.00 |
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.