Pages that link to "Item:Q3617735"
From MaRDI portal
The following pages link to Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735):
Displaying 11 items.
- Measurable stochastics for Brane calculus (Q418841) (← links)
- A decentralised graphical implementation of mobile ambients (Q624388) (← links)
- Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Deriving structural labelled transitions for mobile ambients (Q1959484) (← links)
- Observational and behavioural equivalences for soft concurrent constraint programming (Q2403819) (← links)
- Barbed Semantics for Open Reactive Systems (Q2848882) (← links)
- Coalgebraic Symbolic Semantics (Q2888486) (← links)
- A General Theory of Barbs, Contexts, and Labels (Q2946747) (← links)
- (Q5150130) (← links)
- RPO semantics for mobile ambients (Q5740373) (← links)