20 citations · 59 across the 17 of their papers we have counts for
1 paper · 2 filters
James Smith
We present for the first time a complete solution to the problem of proving the correctness of a concurrency control algorithm for collaborative text editors against the standard c…