TY  - RPRT
TI  - A Behavioral Theory for Distributed Systems with Weak Recovery
AU  - Giovanni Fabbretti
AU  - Ivan Lanese
AU  - Jean-Bernard Stefani
PY  - 2025
DO  - 10.46298/lmcs-21(3:1)2025
UR  - https://arxiv.org/abs/2406.12574
ID  - 2406.12574
ER  -