Pages that link to "Item:Q1770420"
From MaRDI portal
The following pages link to Locating reaction with 2-categories (Q1770420):
Displaying 8 items.
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- Deriving bisimulation congruences: a 2-categorical approach (Q2842606) (← links)
- G-reactive systems as coalgebras (Q2864375) (← links)
- Bialgebraic methods in structural operational semantics (invited talk) (Q2866314) (← links)
- On Symbolic Semantics for Name-decorated Contexts (Q5166612) (← links)
- Making the Unobservable, Unobservable (Q5166617) (← links)