FATOMAS - A Fault-Tolerant Mobile Agent System Based on the Agent-Dependent ApproachModeling fault-tolerant mobile agent execution as a sequence of agreement problems