10 citations · 40 across the 14 of their papers we have counts for
1 paper · 1 filter
Christopher Meiklejohn
This report documents the process of implementing vector clocks in the Coq proof assistant for extraction and use in the distributed Dynamo-inspired data store, Riak. In this repor…