Pages that link to "Item:Q2787435"
From MaRDI portal
The following pages link to Converging from Branching to Linear Metrics on Markov Chains (Q2787435):
Displayed 8 items.
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- On the metric-based approximate minimization of Markov chains (Q1785848) (← links)
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
- Complete axiomatization for the total variation distance of Markov chains (Q2130580) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- (Q3384913) (← links)
- (Q4558787) (← links)
- Compositional weak metrics for group key update (Q5111289) (← links)