The following pages link to (Q4484494):
Displayed 11 items.
- Space-aware ambients and processes (Q875514) (← links)
- Fair ambients (Q877172) (← links)
- An efficient abstract machine for safe ambients (Q882488) (← links)
- Access control in mobile ambient calculi: a comparative view (Q930876) (← links)
- On the computational strength of pure ambient calculi (Q1763730) (← links)
- When ambients cannot be opened (Q1770415) (← links)
- On the expressive power of movement and restriction in pure mobile ambients (Q1881256) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- Translating Mobile Ambients into P Systems (Q2864193) (← links)
- Interaction in Time and Space (Q2864506) (← links)
- Applying a testing approach to the Calculus of Fair Ambients (Q5850754) (← links)