Understanding Mobile Agents via a Non-Interleaving Semantics for Facile
No abstract available.
Related papers
- Abstract Interpretation-Based Static Analysis of Mobile Ambients SAS 2001
- Trust and Partial Typing in Open Systems of Mobile Agents POPL 1999
- Dependency Analysis of Mobile Systems ESOP 2002
- Mobile Objects and Mobile Agents: The Future of Distributed Computing? ECOOP 1998
- Nomadic pict: correct communication infrastructure for mobile computation POPL 2001
- A Performance Evaluation of the Mobile Agent Paradigm OOPSLA 1999
- Access control for mobile agents: The calculus of boxed ambients TOPLAS 2004
- Confidentiality Analysis of Mobile Systems SAS 2000