Pages that link to "Item:Q1770420"
From MaRDI portal
The following pages link to Locating reaction with 2-categories (Q1770420):
Displaying 7 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)
- G-Reactive Systems as Coalgebras (Q2864375) (← links)
- Bialgebraic Methods in Structural Operational Semantics (Q2866314) (← links)
- On Symbolic Semantics for Name-decorated Contexts (Q5166612) (← links)
- Making the Unobservable, Unobservable (Q5166617) (← links)
