Anytime, anywhere: Modal logics for mobile ambients (0)

by L Cardelli, A Gordon
Venue:in: Twentyseventh Annual ACM Symposium on Principles of Programming Languages, ACM