Pages that link to "Item:Q3012928"
From MaRDI portal
The following pages link to Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation (Q3012928):
Displaying 12 items.
- Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation (Q453545) (← links)
- (Q2763684) (← links)
- Environmental bisimulations for probabilistic higher-order languages (Q2828300) (← links)
- Constrained simulations, nested simulation semantics and counting bisimulations (Q2871848) (← links)
- Computing Behavioral Relations for Probabilistic Concurrent Systems (Q2937734) (← links)
- Probabilistic bisimulation as a congruence (Q2946567) (← 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)
- Probabilistic Bisimulation: Naturally on Distributions (Q3190122) (← links)
- Simulation and Bisimulation for Probabilistic Timed Automata (Q3588096) (← links)
- (Q4484499) (← links)
- Sound approximate and asymptotic probabilistic bisimulations for PCTL (Q6135748) (← links)