Showing 2025Show all
2 papers · 1 filter
cs.DC2025
Equivalence and Separation between Heard-Of and Asynchronous Message-Passing Models
Hagit Attiya, Armando Castañeda, Dhrubajyoti Ghosh +1
We revisit the relationship between two fundamental models of distributed computation: the asynchronous message-passing model with up to crash failures ()…
cs.DC2025
Impossibility Results for Strong Linearizability: The Difficulty of Consistent Refereeing
Hagit Attiya, Armando Castañeda, Constantin Enea
This paper studies the relation between agreement and strongly linearizable implementations of various objects. This leads to new results about implementations of concurrent object…