Reliable mobile agents with transactional behaviour. (1st January 2014)