https://123dok.org/document/y6eo7lgo-implementing-distributed-computing-abstractions-presence-churn-regular-register.html