The following pages link to (Q4449236):
Displaying 7 items.
- Unprovability of the logical characterization of bisimulation (Q549668) (← links)
- Eilenberg--Moore algebras for stochastic relations (Q859832) (← links)
- Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599) (← links)
- The converse of a stochastic relation (Q1764800) (← links)
- The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator (Q2372202) (← links)
- Factoring stochastic relations (Q2390244) (← links)
- Bisimulation and cocongruence for probabilistic systems (Q2495642) (← links)
