Pages that link to "Item:Q5492811"
From MaRDI portal
The following pages link to Algebra and Coalgebra in Computer Science (Q5492811):
Displaying 10 items.
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- A coalgebraic theory of reactive systems (Q2870200) (← links)
- A well-behaved LTS for the pi-calculus (abstract) (Q2871826) (← links)
- A General Theory of Barbs, Contexts, and Labels (Q2946747) (← links)
- (Q3358715) (← links)
- (Q5028460) (← links)
- On Symbolic Semantics for Name-decorated Contexts (Q5166612) (← links)
- Directed Bigraphs (Q5262934) (← links)
- RPO, Second-Order Contexts, and λ-Calculus (Q5458369) (← links)