Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
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
Checking my assumptions about syncable data structures
