From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs | Publicación