20 citations · 59 across the 17 of their papers we have counts for
Showing cs.DSShow all
2 papers · 1 filter
cs.DS2023
Robust Topological Orderings for Directed Graphs
James Smith
We modify the Pearce-Kelly algorithm that maintains a topological ordering for a directed acyclic graph in order to allow cycles to be tolerated. Cycles make topological orderings…
cs.DS2013
Operational Concurrency Control in the Face of Arbitrary Scale and Latency
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…