The following pages link to (Q4536435):
Displaying 18 items.
- Automata and processes on multisets of communicating objects (Q609033) (← links)
- Access control in mobile ambient calculi: a comparative view (Q930876) (← links)
- Role-based access control for boxed ambients (Q930879) (← links)
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Mobility control via passports (Q1012123) (← links)
- Flow-sensitive type systems and the ambient calculus (Q1029816) (← links)
- Typing evolving ambients (Q1607130) (← links)
- Orderly communication in the ambient calculus. (Q1869977) (← links)
- Behavioural typing for safe ambients (Q1869978) (← links)
- Security boundaries in mobile ambients (Q1869979) (← links)
- On abstract interpretation of mobile ambients (Q1887169) (← links)
- Information flow security in boundary ambients (Q2482455) (← links)
- Types for the ambient calculus (Q2497144) (← links)
- The seal calculus (Q2566220) (← links)
- safeDpi: a language for controlling mobile code (Q2581010) (← links)
- A Type Inference Algorithm for Secure Ambients (Q2841272) (← links)
- Types for Access Control in a Calculus of Mobile Resources (Q2864387) (← links)
- Automata on Multisets of Communicating Objects (Q3543347) (← links)
