Pages that link to "Item:Q549668"
From MaRDI portal
The following pages link to Unprovability of the logical characterization of bisimulation (Q549668):
Displaying 12 items.
- Approximating bisimilarity for Markov processes (Q265837) (← links)
- Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599) (← links)
- Hennessy-Milner results for probabilistic PDL (Q2133481) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- Expressiveness of probabilistic modal logics: a gradual approach (Q2417857) (← links)
- Open maps in concrete categories and branching bisimulation for prefix orders (Q2520701) (← links)
- A stochastic interpretation of propositional dynamic logic: expressivity (Q2892686) (← links)
- A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731) (← links)
- (Q4989397) (← links)
- Bisimilarity is not Borel (Q5361144) (← links)
- THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES (Q6148464) (← links)
- Behavioural equivalences for continuous-time Markov processes (Q6149932) (← links)
