Pages that link to "Item:Q4917029"
From MaRDI portal
The following pages link to On the Expressiveness of Pure Mobile Ambients (Q4917029):
Displaying 11 items.
- A decentralised graphical implementation of mobile ambients (Q624388) (← links)
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- Fair ambients (Q877172) (← links)
- Mobile ambients (Q1575154) (← links)
- Typing evolving ambients (Q1607130) (← links)
- On abstract interpretation of mobile ambients (Q1887169) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- A type inference algorithm for secure ambients (Q2841272) (← links)
- On the Expressiveness of the π-Calculus and the Mobile Ambients (Q3067465) (← links)
- (Q4494378) (← links)
- On the Expressiveness of Pure Mobile Ambients (Q4917029) (← links)