The following pages link to (Q4535035):
Displayed 12 items.
- Measuring the confinement of probabilistic systems (Q557887) (← links)
- Metrics for labelled Markov processes (Q596029) (← links)
- Weak bisimulation for probabilistic timed automata (Q606996) (← links)
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
- Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity (Q1004387) (← links)
- Approximating labelled Markov processes (Q1398379) (← links)
- A behavioural pseudometric for probabilistic transition systems (Q1770428) (← links)
- Bisimulation and cocongruence for probabilistic systems (Q2495642) (← links)
- Approximating and computing behavioural distances in probabilistic transition systems (Q2503333) (← links)
- \(\pi\)-calculus with noisy channels (Q2570971) (← links)
- Simulation Hemi-metrics between Infinite-State Stochastic Games (Q5458350) (← links)
- Non Expansive ε-Bisimulations (Q5505435) (← links)