Pages that link to "Item:Q2946567"
From MaRDI portal
The following pages link to Probabilistic bisimulation as a congruence (Q2946567):
Displayed 10 items.
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- (Q4580323) (← links)
- (Q5013870) (← links)
- Non Expansive ε-Bisimulations (Q5505435) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)