2 citations · 4 across the 3 of their papers we have counts for
3 papers
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…
The Synchronization Power of Auditable Registers
Hagit Attiya, Antonella Del Pozzo, Alessia Milani +2
Auditability allows to track all the read operations performed on a register. It abstracts the need of data owners to control access to their data, tracking who read which informat…
Practically Stabilizing Atomic Memory
Noga Alon, Hagit Attiya, Shlomi Dolev +3
A self-stabilizing simulation of a single-writer multi-reader atomic register is presented. The simulation works in asynchronous message-passing systems, and allows processes to cr…