Pages that link to "Item:Q3012928"
From MaRDI portal
The following pages link to Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation (Q3012928):
Displayed 4 items.
- Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation (Q453545) (← links)
- Computing Behavioral Relations for Probabilistic Concurrent Systems (Q2937734) (← links)
- Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions (Q2946748) (← links)
- A Spectrum of Behavioral Relations over LTSs on Probability Distributions (Q3090826) (← links)