Pages that link to "Item:Q2888480"
From MaRDI portal
The following pages link to Characterising Behavioural Equivalence: Three Sides of One Coin (Q2888480):
Displaying 5 items.
- The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras (Q607460) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Coalgebraic logics \& duality (Q1798781) (← links)
- The costructure–cosemantics adjunction for comodels for computational effects (Q5058362) (← links)
- Stream processors and comodels (Q5883748) (← links)