No CrossRef data available.
Article contents
Weak bisimulations for the Giry monad†
Published online by Cambridge University Press: 27 October 2010
Abstract
We study the existence of bisimulations for Kleisli morphisms associated with the Giry monad of subprobabilities over Polish spaces. We first investigate these morphisms and show that the problem can be reduced to the existence of bisimulations for objects in the base category of stochastic relations using simulation equivalent congruences. This leads us to a criterion for two objects to be bisimilar.
- Type
- Paper
- Information
- Mathematical Structures in Computer Science , Volume 20 , Special Issue 5: Theory and Applications of Models of Computation (TAMC 2008–2009) , October 2010 , pp. 781 - 798
- Copyright
- Copyright © Cambridge University Press 2010