Pages that link to "Item:Q4571977"
From MaRDI portal
The following pages link to Bisimulation for probabilistic transition systems: A coalgebraic approach (Q4571977):
Displaying 5 items.
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706) (← links)
- Deciding bisimilarity and similarity for probabilistic processes. (Q1975973) (← links)
- Bisimulation and Simulation Relations for Markov Chains (Q5262953) (← links)
- Approximating Markov Processes by Averaging (Q5895176) (← links)
- On the structure of categories of coalgebras (Q5941161) (← links)
