FAQ | This is a LIVE service | Changelog
Verifying Strong Eventual Consistency in Distributed Systems (OOPSLA 2017)