Dormancy and Spatial Logic of Mobile Ambients | IEEE Conference Publication | IEEE Xplore