The following pages link to (Q4222948):
Displaying 13 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)
- (Q3023880) (← links)
- (Q4637688) (← links)
- Double-pullback transitions and coalgebraic loose semantics for graph transformation systems (Q5929740) (← links)