Pages that link to "Item:Q3090826"
From MaRDI portal
The following pages link to A Spectrum of Behavioral Relations over LTSs on Probability Distributions (Q3090826):
Displaying 8 items.
- Relating strong behavioral equivalences for processes with nondeterminism and probabilities (Q2253178) (← links)
- Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Q2257984) (← links)
- Trace semantics via determinization (Q2341701) (← links)
- Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations (Q2830042) (← links)
- Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions (Q2946748) (← links)
- Termination in Convex Sets of Distributions (Q4558786) (← links)
- (Q5111636) (← links)
- (Q5155671) (← links)
