Pages that link to "Item:Q1023291"

The following pages link to Coalgebraic logic for stochastic right coalgebras (Q1023291):

Displaying 3 items.

• Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
• Stochastic coalgebraic logic: bisimilarity and behavioral equivalence (Q947269) (← links)
• Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599) (← links)