On the theory of speculative checkpointing | Publicación