Similar Items: On the equivalence of game and denotational semantics for the probabilistic mu-calculus
- Probabilistic modal {mu}-calculus with independent product
- A Denotational Semantics for SPARC TSO
- Some model theory for the modal $mu$-calculus: syntactic characterisations of semantic properties
- EXPTIME Tableaux for the Coalgebraic mu-Calculus
- Intersection Types for the lambda-mu Calculus
- $aleph_1$ and the modal $mu$-calculus