A fault-tolerant protocol for providing the exactly-once property of mobile agents | IEEE Conference Publication | IEEE Xplore