Anytime, anywhere. Modal logics for mobile ambients (2000)

by L Cardelli, A D Gordon
Venue:In 27th POPL