Pages that link to "Item:Q2007735"
From MaRDI portal
The following pages link to Probabilistic divide \& congruence: branching bisimilarity (Q2007735):
Displayed 5 items.
- Raiders of the lost equivalence: probabilistic branching bisimilarity (Q783681) (← links)
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- Model independent approach to probabilistic models (Q831149) (← links)
- Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? (Q5056368) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)