A Distributed Abstract Machine for Boxed Ambient Calculi
Abstract elided by the publisher.
Related papers
- Access control for mobile agents: The calculus of boxed ambients TOPLAS 2004
- A Control Flow Analysis for Safe and Boxed Ambients ESOP 2004
- Secure safe ambients POPL 2001
- Oz/K: a kernel language for component-based open programming GPCE 2007
- Extensionality and Intensionality of the Ambient Logics POPL 2001
- Sequent calculi and abstract machines TOPLAS 2009
- Bisimulation congruences in safe ambients POPL 2002
- Distilling abstract machines ICFP 2014