Consistent global checkpoints based on direct dependency tracking
scientific article; zbMATH DE number 590260
scientific article