Showing 2018Show all
2 papers · 1 filter
cs.LO2018
On the Lazy Set object
Uri Abraham
The aim of this article is to employ the Lazy Set algorithm as an example for a mathematical framework for proving the linearizability of distributed systems. The proof in this app…
cs.LO2018
Kishon's Poker Game
Uri Abraham
We present an approach for proving the correctness of distributed algorithms that obviate interleaving of processes' actions. The main part of the correctness proof is conducted at…