Heidi HowardinCSR TalesCSRTale #13: Formal verification of strong eventual consistencyCSRTale #13 comes from Dr Martin Kleppmann, a researcher in distributed systems at Cambridge University and author of the book, Designing…Jul 30, 2019Jul 30, 2019