The following pages link to Types for the ambient calculus (Q2497144):
Displaying 16 items.
- Security types for dynamic web data (Q935467) (← links)
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Dynamic management of capabilities in a network aware coordination language (Q1035673) (← links)
- Secrecy and group creation (Q1763430) (← links)
- A coordination approach to mobile components (Q1770368) (← links)
- On abstract interpretation of mobile ambients (Q1887169) (← links)
- Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
- A general overview of formal languages for individual-based modelling of ecosystems (Q2423746) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- Types for Role-Based Access Control of Dynamic Web Data (Q3003511) (← links)
- Secure Data Flow in a Calculus for Context Awareness (Q3507380) (← links)
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040) (← links)
- Automata on Multisets of Communicating Objects (Q3543347) (← links)
- Security Types for Dynamic Web Data (Q3608462) (← links)
- Capability-based localization of distributed and heterogeneous queries (Q4577810) (← links)
- (Q5875401) (← links)
