Pages that link to "Item:Q3540392"
From MaRDI portal
The following pages link to A Decentralized Implementation of Mobile Ambients (Q3540392):
Displaying 4 items.
- A decentralised graphical implementation of mobile ambients (Q624388) (← links)
- On the Expressiveness of the π-Calculus and the Mobile Ambients (Q3067465) (← links)
- Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) (Q5170667) (← links)
- RPO semantics for mobile ambients (Q5740373) (← links)
