A distributed first and last consistent global checkpoint algorithm | IEEE Conference Publication | IEEE Xplore