The following pages link to (Q4494378):
Displaying 22 items.
- Hybrid logical analyses of the ambient calculus (Q964494) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- Flow-sensitive type systems and the ambient calculus (Q1029816) (← links)
- Abstract interpretation of mobile ambients. (Q1398673) (← links)
- Mobile ambients (Q1575154) (← links)
- Validating firewalls using flow logics (Q1603656) (← links)
- When ambients cannot be opened (Q1770415) (← links)
- Abstract interpretation of mobile systems (Q1772313) (← links)
- Static analysis for the \(\pi\)-calculus with applications to security (Q1854437) (← links)
- Security boundaries in mobile ambients (Q1869979) (← links)
- Nesting analysis of mobile ambients (Q1886451) (← links)
- On abstract interpretation of mobile ambients (Q1887169) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- Types for the ambient calculus (Q2497144) (← links)
- Occurrence counting analysis for the pi-calculus (Q2703725) (← links)
- Shape analysis for mobile ambients (Q2748155) (← links)
- Cryptographic analysis in cubic time (Q2841271) (← links)
- A type inference algorithm for secure ambients (Q2841272) (← links)
- A fully abstract model for mobile ambients (Q2841277) (← links)
- Behavioral theory for mobile ambients (Q3455211) (← links)
- Deriving Structural Labelled Transitions for Mobile Ambients (Q3541038) (← links)
- Shape analysis for mobile ambients (Q5178849) (← links)