20 citations · 59 across the 17 of their papers we have counts for
1 paper · 1 filter
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…