anywhere: Modal logics for mobile ambients (0)

by L Cardelli, A D Gordon, “Anytime
Venue:Proc. 27th ACM Symp. on Principles of Programming Languages