Measuring the probabilistic powerdomain

DOI10.1016/S0304-3975(03)00404-3MaRDI QIDQ1884874zbMATH OpenFDO

Authors Keye Martin, James Worrell, Michael Mislove

Publication date 27 October 2004

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0304-3975(03)00404-3

zbMATH Keywords

continuous domainiterated function systemmeasurementprobabilistic powerdomainvaluation

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Review text

In this paper the authors show that a special class of measurements, called MP-measurements, on a continuous domain extend via a natural construction to measurements on its probabilistic powerdomain. (Here, a measurement is an upper semicontinuous function from a continuous domain, thought of as a ``model for the space of its maximal elements equipped with the relative Scott topology, into the non-negative real numbers that (typically) vanishes precisely at the maximal elements.) They show that a number of standard examples of measurements are MP-measurements, and apply their results by giving a new domain-theoretic existence proof of the unique invariant measure for a weighted iterated function system.

Recommendations

• scientific article; zbMATH DE number 2086644
• Power domains and iterated function systems
• Fractals and domain theory
• Dynamical systems, measures, and fractals via domain theory
• When Scott is weak on the top

Cites work

• A computational model for metric spaces
• An Extension Result for Continuous Valuations
• Domain theory and integration
• Fractals and domain theory
• scientific article; zbMATH DE number 1670818 (Why is no real title available?)
• scientific article; zbMATH DE number 3964277 (Why is no real title available?)
• scientific article; zbMATH DE number 1107499 (Why is no real title available?)
• scientific article; zbMATH DE number 2086644 (Why is no real title available?)
• Nuclear and trace ideals in tensored \(^*\)-categories
• Power domains and iterated function systems
• Self-similar sets as Tarski's fixed points
• Spaces of maximal points
• Topology, domain theory and theoretical computer science
• Unique Fixed Points in Domain Theory
• When Scott is weak on the top

Cited in

(10)

• A triangle inequality for measurement
• Dynamical systems, measures, and fractals via domain theory
• Power domains and iterated function systems
• Power measures derived from the sequential query process
• scientific article; zbMATH DE number 1670818 (Why is no real title available?)
• scientific article; zbMATH DE number 1231572 (Why is no real title available?)
• When Scott is weak on the top
• Fractals and domain theory
• scientific article; zbMATH DE number 2086644 (Why is no real title available?)
• Probabilistic analysis of power assignments

This page was built for publication: Measuring the probabilistic powerdomain

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1884874)