Global checkpointing for a concurrent processing system
scientific article