A Query Language Based on the Ambient Logic
Abstract elided by the publisher.
Related papers
- Extensionality and Intensionality of the Ambient Logics POPL 2001
- Anytime, Anywhere: Modal Logics for Mobile Ambients POPL 2000
- A logic you can count on POPL 2004
- Context logic and tree update POPL 2005
- A Dependently Typed Ambient Calculus ESOP 2004
- Deciding Reachability in Mobile Ambients ESOP 2005
- Types for Evolving Communication in Safe Ambients VMCAI 2003
- A Parametric Model for the Analysis of Mobile Ambients APLAS 2005