The following pages link to CONCUR 2005 – Concurrency Theory (Q5897490):
Displayed 6 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)
- A General Theory of Barbs, Contexts, and Labels (Q2946747) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- On Symbolic Semantics for Name-decorated Contexts (Q5166612) (← links)