Approaches to fault-tolerant and transactional mobile agent execution---an algorithmic view