@article{MTY25,
author = {C. A. Mezzina and F. Tiezzi and N. Yoshida},
title = {Checkpoint-Based Rollback Recovery in Session Programming},
journal = {Logical Methods in Computer Science},
volume = {21(1)},
pages = {2:1--2:36},
month = {January},
year = {2025},
url = {./MTY25.pdf},
doi = {10.46298/lmcs-21(1:2)2025},
}

{"_id":"85aejNixH4JsT7hxw","bibbaseid":"mezzina-tiezzi-yoshida-checkpointbasedrollbackrecoveryinsessionprogramming-2025","author_short":["Mezzina, C. A.","Tiezzi, F.","Yoshida, N."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["C.","A."],"propositions":[],"lastnames":["Mezzina"],"suffixes":[]},{"firstnames":["F."],"propositions":[],"lastnames":["Tiezzi"],"suffixes":[]},{"firstnames":["N."],"propositions":[],"lastnames":["Yoshida"],"suffixes":[]}],"title":"Checkpoint-Based Rollback Recovery in Session Programming","journal":"Logical Methods in Computer Science","volume":"21(1)","pages":"2:1–2:36","month":"January","year":"2025","url":"./MTY25.pdf","doi":"10.46298/lmcs-21(1:2)2025","bibtex":"@article{MTY25,\nauthor = {C. A. Mezzina and F. Tiezzi and N. Yoshida},\ntitle = {Checkpoint-Based Rollback Recovery in Session Programming},\njournal = {Logical Methods in Computer Science},\nvolume = {21(1)},\npages = {2:1--2:36},\nmonth = {January},\nyear = {2025},\nurl = {./MTY25.pdf},\ndoi = {10.46298/lmcs-21(1:2)2025},\n}\n\n","author_short":["Mezzina, C. A.","Tiezzi, F.","Yoshida, N."],"key":"MTY25","id":"MTY25","bibbaseid":"mezzina-tiezzi-yoshida-checkpointbasedrollbackrecoveryinsessionprogramming-2025","role":"author","urls":{"Paper":"http://www.sti.uniurb.it/nirvana/files/papers/MTY25.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.sti.uniurb.it/nirvana/files/papers/biblio.bib","dataSources":["LKF5GrArEwYvw4nAL"],"keywords":[],"search_terms":["checkpoint","based","rollback","recovery","session","programming","mezzina","tiezzi","yoshida"],"title":"Checkpoint-Based Rollback Recovery in Session Programming","year":2025}