Monitoring of distributed processes with mobile agents | IEEE Conference Publication | IEEE Xplore