A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Probabilistic Observations and Valuations
2006
Electronical Notes in Theoretical Computer Science
We give a universal property for an "abstract probabilistic powerdomain" based on an analysis of observable properties of probabilistic computation. The universal property determines an abstract notion of integration satisfying the expected equational properties. In the category of topological spaces, the abstract probabilsitic powerdomain is given explicitly as the space of continuous probability valuations with weak topology. It follows that our abstract notion of integration coincides with
doi:10.1016/j.entcs.2005.11.075
fatcat:5f2a7oafhvhshpzbrwplqjzt64