A distributed consistent global checkpoint algorithm for distributed mobile systems | IEEE Conference Publication | IEEE Xplore