A Parametric Model for the Analysis of Mobile Ambients
No abstract available.
Related papers
- Shape Analysis for Mobile Ambients POPL 2000
- A Kleene Analysis of Mobile Ambients ESOP 2000
- Complexity of Nesting Analysis in Mobile Ambients VMCAI 2003
- A Fully Abstract Model for Higher-Order Mobile Ambients VMCAI 2002
- Abstract Interpretation-Based Static Analysis of Mobile Ambients SAS 2001
- Access control for mobile agents: The calculus of boxed ambients TOPLAS 2004
- Anytime, Anywhere: Modal Logics for Mobile Ambients POPL 2000
- Deciding Reachability in Mobile Ambients ESOP 2005