The following pages link to Symbolic Semantics Revisited (Q5458375):
Displayed 5 items.
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Coalgebraic Symbolic Semantics (Q2888486) (← links)
- A General Theory of Barbs, Contexts, and Labels (Q2946747) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)