Pages that link to "Item:Q4933311"
From MaRDI portal
The following pages link to Characterising Probabilistic Processes Logically (Q4933311):
Displayed 11 items.
- Raiders of the lost equivalence: probabilistic branching bisimilarity (Q783681) (← links)
- Probabilistic bisimilarity as testing equivalence (Q1680507) (← links)
- Exploring probabilistic bisimulations. I (Q1941884) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- A General Framework for Probabilistic Characterizing Formulae (Q2891432) (← links)
- Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions (Q2946748) (← links)
- A Spectrum of Behavioral Relations over LTSs on Probability Distributions (Q3090826) (← links)
- (Q4580323) (← links)
- (Q5009413) (← links)
- Explainability of probabilistic bisimilarity distances for labelled Markov chains (Q6091199) (← links)