The following pages link to (Q2766538):
Displaying 14 items.
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- Dynamic management of capabilities in a network aware coordination language (Q1035673) (← links)
- Security boundaries in mobile ambients (Q1869979) (← links)
- Nesting analysis of mobile ambients (Q1886451) (← links)
- On abstract interpretation of mobile ambients (Q1887169) (← links)
- Information flow security in boundary ambients (Q2482455) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- Types for the ambient calculus (Q2497144) (← links)
- A Type Inference Algorithm for Secure Ambients (Q2841272) (← links)
- A Fully Abstract Model for Mobile Ambients (Q2841277) (← links)
- Techniques for Security Checking (Q2841279) (← links)
- Pierpaolo Degano (Q3460854) (← links)
- The synchronized ambient calculus (Q6204540) (← links)
