The following pages link to (Q4222961):
Displayed 18 items.
- Relation lifting, a survey (Q299182) (← links)
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Simulations in coalgebra (Q703522) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Bisimulation indexes and their applications (Q1606119) (← links)
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876) (← links)
- Automata and fixed point logic: a coalgebraic perspective (Q2495648) (← links)
- Probabilistic Functions and Cryptographic Oracles in Higher Order Logic (Q2802495) (← links)
- Towards Weak Bisimulation For Coalgebras (Q2841308) (← links)
- Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
- Enhanced coalgebraic bisimulation (Q5361143) (← links)
- The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata (Q5418964) (← links)
- On the Logic of Generalised Metric Spaces (Q5739454) (← links)
- (Q5875411) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)
- On the structure of categories of coalgebras (Q5941161) (← links)
- Kantorovich functors and characteristic logics for behavioural distances (Q6091180) (← links)