Pages that link to "Item:Q4571977"

The following pages link to Bisimulation for probabilistic transition systems: A coalgebraic approach (Q4571977):

Displaying 3 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)