Pages that link to "Item:Q1683448"
From MaRDI portal
The following pages link to Distribution-based bisimulation for labelled Markov processes (Q1683448):
Displaying 6 items.
- Probabilistic bisimulation for realistic schedulers (Q1671244) (← links)
- Domain theory, testing and simulation for labelled Markov processes (Q1770416) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← links)
- (Q5094151) (← links)
- Bisimulation and Simulation Relations for Markov Chains (Q5262953) (← links)