MARS: a programmable coordination architecture for mobile agents | IEEE Journals & Magazine | IEEE Xplore