Measuring the probabilistic powerdomain

DOI10.1016/S0304-3975(03)00404-3zbMath1062.06009MaRDI QIDQ1884874

Keye Martin, James Worrell, Michael W. Mislove

Publication date: 27 October 2004

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

zbMATH Keywords

iterated function systemvaluationmeasurementprobabilistic powerdomaincontinuous domain

Mathematics Subject Classification ID

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

Cites Work

• Domain theory and integration
• A computational model for metric spaces
• Topology, domain theory and theoretical computer science
• Nuclear and trace ideals in tensored \(^*\)-categories
• Self-similar sets as Tarski's fixed points
• Power domains and iterated function systems
• Spaces of maximal points
• When Scott is weak on the top
• An Extension Result for Continuous Valuations
• Fractals and domain theory
• Unique Fixed Points in Domain Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item