MAGDA: a software environment for mobile agent based distributed applications | IEEE Conference Publication | IEEE Xplore