Pages that link to "Item:Q4571977"
From MaRDI portal
The following pages link to Bisimulation for probabilistic transition systems: A coalgebraic approach (Q4571977):
Displaying 14 items.
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey (Q271706) (← links)
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528) (← links)
- Deciding bisimilarity and similarity for probabilistic processes. (Q1975973) (← links)
- Environmental bisimulations for probabilistic higher-order languages (Q2828300) (← links)
- Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory (Q2912693) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- (Q3023541) (← links)
- (Q4535031) (← links)
- (Q4536612) (← links)
- Bisimulations, logics, and trace distributions for stochastic systems with rewards (Q4561429) (← links)
- (Q4637688) (← 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)