The following pages link to (Q5111437):
Displaying 15 items.
- Unprovability of the logical characterization of bisimulation (Q549668) (← links)
- Constructive logical characterizations of bisimilarity for reactive probabilistic systems (Q1731513) (← links)
- Towards a classification of behavioural equivalences in continuous-time Markov processes (Q2133467) (← links)
- Expressiveness of probabilistic modal logics: a gradual approach (Q2417857) (← links)
- Probabilities on sentences in an expressive logic (Q2446673) (← links)
- Bisimulation for labelled Markov processes (Q2506488) (← links)
- Probabilistic Modal μ-Calculus with Independent Product (Q3000616) (← links)
- (Q4225115) (← links)
- Some considerations on the logics P<sub>F</sub>D A logic combining modality and probability (Q4354625) (← links)
- (Q4784844) (← links)
- (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras (Q5009455) (← links)
- Bisimilarity is not Borel (Q5361144) (← links)
- (Q5856412) (← links)
- (Q5875370) (← links)
- Proving behavioural apartness (Q6666778) (← links)