A probabilistic powerdomain of evaluations
Proceedings of the Fourth Annual Symposium on Logic in computer science
Notions of computation and monads
Information and Computation
Probabilistic non-determinism
Probabilistic predicate transformers
ACM Transactions on Programming Languages and Systems (TOPLAS)
CAAP '94 Proceedings of the 19th International Colloquium on Trees in Algebra and Programming
Bisimulation for labelled Markov processes
Information and Computation - Special issue: LICS'97
Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
SIAM Journal on Computing
Semi-pullbacks and bisimulations in categories of stochastic relations
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Erratum: Erratum and Addendum: Eilenberg-Moore algebras for stochastic relations
Information and Computation
Weak bisimulations for the Giry monad
TAMC'08 Proceedings of the 5th international conference on Theory and applications of models of computation
Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Measurable Spaces and Their Effect Logic
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |
We investigate the category of Eilenberg-Moore algebras for the Giry monad associated with stochastic relations over Polish spaces with continuous maps as morphisms. The algebras are identified as the positive convex structures on the base space. The forgetful functor assigning a positive convex structure the underlying Polish space has the stochastic powerdomain as its left adjoint.