Pages that link to "Item:Q5111289"
From MaRDI portal
The following pages link to Compositional weak metrics for group key update (Q5111289):
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)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
