Modeling CRDTs in Alloy – the importance of idempotence
Submitted 2 years ago by bot@lemmy.smeargle.fans [bot] to hackernews@lemmy.smeargle.fans
https://bytes.zone/posts/modeling-crdts-in-alloy-introduction-and-the-importance-of-idempotence/