Pages that link to "Item:Q2629851"
From MaRDI portal
The following pages link to A general SOS theory for the specification of probabilistic transition systems (Q2629851):
Displaying 6 items.
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- Probabilistic software product lines (Q2329442) (← links)
- Compositional weak metrics for group key update (Q5111289) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)
