Pages that link to "Item:Q2272986"
From MaRDI portal
The following pages link to Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986):
Displayed 6 items.
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- (Q5094149) (← links)
- Explainability of probabilistic bisimilarity distances for labelled Markov chains (Q6091199) (← links)