1 citations · 2 across the 6 of their papers we have counts for
1 paper · 1 filter
Elod Pal Csirmaz
With distributed computing and mobile applications, synchronizing diverging replicas of data structures is a more and more common problem. We use algebraic methods to reason about…