A formal model for mobile agent systems using Z | IEEE Conference Publication | IEEE Xplore