The following pages link to (Q4580323):
Displaying 5 items.
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- (Q3384913) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)
