The following pages link to (Q4484495):
Displaying 12 items.
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- Access control in mobile ambient calculi: a comparative view (Q930876) (← links)
- Flow-sensitive type systems and the ambient calculus (Q1029816) (← links)
- On the computational strength of pure ambient calculi (Q1763730) (← links)
- Deriving structural labelled transitions for mobile ambients (Q1959484) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- Communication and mobility control in boxed ambients (Q2573334) (← links)
- On an open problem of Amadio and Curien: The finite antichain condition (Q2573335) (← links)
- safeDpi: a language for controlling mobile code (Q2581010) (← links)
- Types for access control in a calculus of mobile resources (Q2864387) (← links)
- (Q4791831) (← links)
- Selective Memoization with Box Types (Q5170291) (← links)