A Dependently Typed Ambient Calculus
Abstract elided by the publisher.
Related papers
- Shape Analysis for Mobile Ambients POPL 2000
- Access control for mobile agents: The calculus of boxed ambients TOPLAS 2004
- Controlling Interference in Ambients POPL 2000
- Mobile safe ambients TOPLAS 2003
- Anytime, Anywhere: Modal Logics for Mobile Ambients POPL 2000
- Extensionality and Intensionality of the Ambient Logics POPL 2001
- Bisimulation congruences in safe ambients POPL 2002
- Types for Evolving Communication in Safe Ambients VMCAI 2003