Anytime, anywhere: Modal logics for mobile ambients,” (2000)

by L Cardelli, A D Gordon
Venue:in Proceedings of the 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’00),