Pages that link to "Item:Q5418956"
From MaRDI portal
The following pages link to Bisimulation on Markov Processes over Arbitrary Measurable Spaces (Q5418956):
Displaying 4 items.
- Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. (Q1400292) (← links)
- Codensity Lifting of Monads and its Dual (Q4553284) (← links)
- Bisimulation and Simulation Relations for Markov Chains (Q5262953) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395119) (← links)