Pages that link to "Item:Q4917029"
From MaRDI portal
The following pages link to On the Expressiveness of Pure Mobile Ambients (Q4917029):
Displaying 7 items.
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- Fair ambients (Q877172) (← links)
- Typing evolving ambients (Q1607130) (← 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)
- On the Expressiveness of Pure Mobile Ambients (Q4917029) (← links)
