Matteo Mio. The Equivalence of Game and Denotational Semantics for the Probabilistic mu-Calculus. In Luigi Santocanale, editor, 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010. pages 53-59, Laboratoire d'Informatique Fondamentale de Marseille, 2010. [doi]
Abstract is missing.