Cpo's of measures for nondeterminism
Reads0
Chats0
TLDR
The results show that the class of probability distributions on a cPO is itself a cpo and that every probability distribution is the lub of an increasing sequence of ‘finite’ probability distributions.About:
This article is published in Theoretical Computer Science.The article was published on 1980-09-01 and is currently open access. It has received 119 citations till now. The article focuses on the topics: Probability distribution & Complete partial order.read more
Citations
More filters
Proceedings Article
Domain theory
Samson Abramsky,Achim Jung +1 more
TL;DR: In this paper, the authors define abstract bases as the bases of compact elements of algebraic domains and define the notion of ideal completion as the relation with which a basis can be equipped.
Proceedings ArticleDOI
A probabilistic powerdomain of evaluations
C. Jones,Gordon Plotkin +1 more
TL;DR: A probabilistic power domain construction is given for the category of inductively complete partial orders and it is the partial order of continuous.
Journal ArticleDOI
Bisimulation for labelled Markov processes
TL;DR: The main result is that a notion of bisimulation for Markov processes on Polish spaces, which extends the Larsen-Skou definition for discrete systems, is indeed an equivalence relation.
Proceedings ArticleDOI
Stochastic lambda calculus and monads of probability distributions
Norman F. Ramsey,Avi Pfeffer +1 more
TL;DR: A translation of stochastic lambda calculus into measure terms is given, which can not only denote discrete probability distributions but can also support the best known modeling techniques.
Journal ArticleDOI
Domain theory and integration
TL;DR: A theory of integration based on a new notion of integral which generalises and shares all the basic properties of the Riemann integral is developed, which provides a new technique for computing the Lebesgue integral.
References
More filters
Book
Introduction to Graph Theory
TL;DR: In this paper, Paths and cycles, trees, planarity, and coloring graphs are defined and examples of path-and-cycle exercises are given, together with solutions to selected exercises.
Journal ArticleDOI
A Powerdomain Construction
TL;DR: A powerdomain construction is developed, which is analogous to the powerset construction and also fits in with the usual sum, product and exponentiation constructions on domains, and a restricted class of algebraic inductive partial orders is found which is closed under this construction.