Anytime, Anywhere: Modal Logics for Mobile Ambients.

Luca Cardelli, Andrew D. Gordon

Browse the full POPL paper archive.