The following pages link to Stochastic coalgebraic logic (Q1049890):
Displaying 19 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)
- A coalgebraic approach to non-determinism: applications to multilattices (Q621576) (← links)
- Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
- Coalgebraic logic for stochastic right coalgebras (Q1023291) (← links)
- Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599) (← links)
- Introduction to coalgebra. Towards mathematics of states and observation (Q2828459) (← links)
- Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence (Q2994480) (← 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)
- (Q4029593) (← links)
- (Q4842972) (← links)
- (Q4845324) (← links)
- (Q5875350) (← links)
- Approximating Markov Processes by Averaging (Q5895176) (← links)