Verified Vector Clocks: An Experience Report, Part 3 #1 Post by seancribbs » Mon, Dec 16, 2013, 1:14 AM UTC Verified Vector Clocks: An Experience Report, Part 3christophermeiklejohn.com