Modeling fault-tolerant mobile agent execution as a sequence of agreement problems | IEEE Conference Publication | IEEE Xplore