1 citations · 1 across the 2 of their papers we have counts for
2 papers
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…
cs.DC2014
Unbeatable Consensus
Armando Castañeda, Yannai A. Gonczarowski, Yoram Moses
The unbeatability of a consensus protocol, introduced by Halpern, Moses and Waarts in 2001, is a stronger notion of optimality than the accepted notion of early stopping protocols.…