3 citations · 14 across the 23 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.DC2024★ 2 cited
History-Independent Concurrent Objects
Hagit Attiya, Michael A. Bender, Martin Farach-Colton +2
A data structure is called history independent if its internal memory representation does not reveal the history of operations applied to it, only its current state. In this paper…
cs.DC2024★ 1 cited
Strong Linearizability using Primitives with Consensus Number 2
Hagit Attiya, Armando Castañeda, Constantin Enea
A powerful tool for designing complex concurrent programs is through composition with object implementations from lower-level primitives. Strongly-linearizable implementations allo…