Measuring the probabilistic powerdomain
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 measurem...
| Päätekijät: | , , |
|---|---|
| Aineistotyyppi: | Journal article |
| Kieli: | English |
| Julkaistu: |
Elsevier
2002
|