Pages that link to "Item:Q783681"
From MaRDI portal
The following pages link to Raiders of the lost equivalence: probabilistic branching bisimilarity (Q783681):
Displaying 5 items.
- 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)
- Branching bisimulation semantics for quantum processes (Q6551718) (← links)
