Pages that link to "Item:Q2573334"
From MaRDI portal
The following pages link to Communication and mobility control in boxed ambients (Q2573334):
Displaying 15 items.
- Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
- Space-aware ambients and processes (Q875514) (← links)
- Role-based access control for boxed ambients (Q930879) (← links)
- On the computational strength of pure ambient calculi (Q1763730) (← links)
- Towards a behavioural theory of access and mobility control in distributed systems (Q1881259) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- (Q2729888) (← links)
- An overview of boxed ambients (abstract) (Q2841270) (← links)
- Splitting mobility and communication in boxed ambients (Q2851706) (← links)
- Types for Role-Based Access Control of Dynamic Web Data (Q3003511) (← links)
- Howe’s Method for Calculi with Passivation (Q3184692) (← links)
- (Q4415245) (← links)
- Programming Languages and Systems (Q5308698) (← links)
- Mathematical Foundations of Computer Science 2004 (Q5311159) (← links)