A formalism for hierarchical mobile agents | IEEE Conference Publication | IEEE Xplore