Pages that link to "Item:Q2888487"
From MaRDI portal
The following pages link to Relating Coalgebraic Notions of Bisimulation (Q2888487):
Displaying 10 items.
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata (Q1797781) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming (Q3067470) (← links)
- Bisimulations Generated from Corecursive Equations (Q3178257) (← links)
- (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras (Q5009455) (← links)
- (Q5875411) (← links)
