Consistent global checkpoints that contain a given set of local checkpoints | IEEE Journals & Magazine | IEEE Xplore