@misc{indiciae90b46a5168e5,
  title = {From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs},
  author = {Germán Vidal},
  year = {2023},
  url = {https://arxiv.org/abs/2309.04873},
  note = {Source identifier: 2309.04873}
}