Exploiting non-determinism for reliability of mobile agent systems | IEEE Conference Publication | IEEE Xplore