Region-based stage construction protocol for fault tolerant execution of mobile agent | IEEE Conference Publication | IEEE Xplore