TY  - RPRT
TI  - Checkpoint-based rollback recovery in session programming
AU  - Claudio Antares Mezzina
AU  - Francesco Tiezzi
AU  - Nobuko Yoshida
PY  - 2025
DO  - 10.46298/lmcs-21(1:2)2025
UR  - https://arxiv.org/abs/2312.02851
ID  - 2312.02851
ER  -