Pages that link to "Item:Q6161460"
From MaRDI portal
The following pages link to Probabilistic weak bisimulation and axiomatization for probabilistic models (Q6161460):
Displaying 6 items.
- Weak bisimulation for probabilistic timed automata (Q606996) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- (Q4535031) (← links)
- (Q4536612) (← links)
- Foundations of Software Science and Computational Structures (Q5705912) (← links)
- Branching bisimulation semantics for quantum processes (Q6551718) (← links)