The following pages link to (Q4222948):
Displayed 10 items.
- On coalgebras over algebras (Q639641) (← links)
- Copower functors (Q1006640) (← links)
- Coalgebra morphisms subsume open maps (Q1603818) (← links)
- Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820) (← links)
- A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus (Q2566037) (← links)
- G-Reactive Systems as Coalgebras (Q2864375) (← links)
- A Coalgebraic Theory of Reactive Systems (Q2870200) (← links)
- Coalgebraic Symbolic Semantics (Q2888486) (← links)
- On Coalgebras over Algebras (Q2919449) (← links)