3 ms·IPA: Invariant-preserving applications for weakly consistent replicated DB’s3 points by godelmachine 7y ago