Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani. A Behavioral Theory for Distributed Systems with Weak Recovery. Logical Methods in Computer Science, 21(3), 2025. [doi]
@article{FabbrettiLS25,
title = {A Behavioral Theory for Distributed Systems with Weak Recovery},
author = {Giovanni Fabbretti and Ivan Lanese and Jean-Bernard Stefani},
year = {2025},
doi = {10.46298/lmcs-21(3:1)2025},
url = {https://doi.org/10.46298/lmcs-21(3:1)2025},
researchr = {https://researchr.org/publication/FabbrettiLS25},
cites = {0},
citedby = {0},
journal = {Logical Methods in Computer Science},
volume = {21},
number = {3},
}