A Control Flow Analysis for Safe and Boxed Ambients
Abstract elided by the publisher.
Related papers
- Access control for mobile agents: The calculus of boxed ambients TOPLAS 2004
- A Distributed Abstract Machine for Boxed Ambient Calculi ESOP 2004
- Mobile safe ambients TOPLAS 2003
- Controlling Interference in Ambients POPL 2000
- Types for Evolving Communication in Safe Ambients VMCAI 2003
- Bisimulation congruences in safe ambients POPL 2002
- Secure safe ambients POPL 2001
- A bisimulation-based semantic theory of Safe Ambients TOPLAS 2006