Similar Items: Qualitative Logics and Equivalences for Probabilistic Systems
- Bisimulations Meet PCTL Equivalences for Probabilistic Automata
- On the equivalence of game and denotational semantics for the probabilistic mu-calculus
- Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
- Probabilistic logics based on Riesz spaces
- Coalgebraic Semantics for Probabilistic Logic Programming
- New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic