Login
From:
bytes.zone
(Uncensored)
subscribe
modeling CRDTs in Alloy - introduction and the importance of idempotence
https://bytes.zone/posts/modeling-crdts-in-alloy-introduction-and-the-importance-of-idempotence/
links
backlinks
Tagged with:
formalmethods
Roast topics
Find topics
Find it!
Checking my assumptions about syncable data structures
