The following pages link to (Q4995155):
Displaying 8 items.
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- (Q4553277) (← links)
- (Q4580323) (← links)
- Compositional weak metrics for group key update (Q5111289) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)