The following pages link to Stochastic coalgebraic logic (Q1049890):
Displayed 9 items.
- Approximating bisimilarity for Markov processes (Q265837) (← links)
- Coalgebras for fuzzy transition systems (Q276401) (← links)
- Measurable stochastics for Brane calculus (Q418841) (← links)
- Approximating Markov processes through filtration (Q442296) (← links)
- Coalgebraic logic over general measurable spaces – a survey (Q3005987) (← links)
- Intuitive Probability Logic (Q3010405) (← links)
- Weak bisimulations for the Giry monad (Q3060190) (← links)
- Distributed Modal Logic (Q3305433) (← links)
- Approximating Markov Processes by Averaging (Q5895176) (← links)