B bytes.zone Modeling CRDTs in Alloy – the importance of idempotence 114 points brianhicks 3 years ago 8 comments