@misc{indiciae179b25c6d58d,
  title = {Checkpoint-based rollback recovery in session programming},
  author = {Claudio Antares Mezzina and Francesco Tiezzi and Nobuko Yoshida},
  year = {2025},
  doi = {10.46298/lmcs-21(1:2)2025},
  url = {https://arxiv.org/abs/2312.02851},
  note = {Source identifier: 2312.02851}
}