System mechanisms for partial rollback of mobile agent execution | IEEE Conference Publication | IEEE Xplore