A formal architectural model for logical agent mobility | IEEE Journals & Magazine | IEEE Xplore