Finite-Control Mobile Ambients
No abstract available.
Related papers
- Access control for mobile agents: The calculus of boxed ambients TOPLAS 2004
- Controlling Interference in Ambients POPL 2000
- Mobile safe ambients TOPLAS 2003
- Extensionality and Intensionality of the Ambient Logics POPL 2001
- Deciding Reachability in Mobile Ambients ESOP 2005
- A Parametric Model for the Analysis of Mobile Ambients APLAS 2005
- An Abstract Interpretation Framework for Analysing Mobile Ambients SAS 2001
- A Kleene Analysis of Mobile Ambients ESOP 2000