Probabilistic Observations and Valuations: (Extended Abstract)

@article{Schrder2006ProbabilisticOA,
  title={Probabilistic Observations and Valuations: (Extended Abstract)},
  author={Matthias Schr{\"o}der and Alex K. Simpson},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2006},
  volume={155},
  pages={605-615}
}
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… CONTINUE READING
Highly Cited
This paper has 26 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-6 of 6 references

and A . Power , Computational effects and operations : An overview , Electr

  • G. Plotkin
  • Notes Theor . Comput . Sci .

Similar Papers

Loading similar papers…