Pages that link to "Item:Q860882"
From MaRDI portal
The following pages link to A coalgebraic approach to the semantics of the ambient calculus (Q860882):
Displaying 9 items.
- A coalgebraic approach to non-determinism: applications to multilattices (Q621576) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- Coeffects: a calculus of context-dependent computation (Q2819671) (← links)
- Coalgebraic Symbolic Semantics (Q2888486) (← links)
- Symbolic and Asynchronous Semantics via Normalized Coalgebras (Q3003325) (← links)
- Hybrid Logical Analyses of the Ambient Calculus (Q3612655) (← links)
- A coalgebraic view on reachability (Q5218979) (← links)
- Algebra and Coalgebra in Computer Science (Q5492824) (← links)