TY  - RPRT
TI  - PaxosLease Revisited: A Checked Model of Diskless Distributed Leases
AU  - Márton Trencséni
PY  - 2026
UR  - https://arxiv.org/abs/2609.14640
ID  - 2609.14640
ER  -