Abstract : This paper presents a simple proof that the quorum failure detector class (denoted ) is the weakest failure detector class required to implement an atomic read/write register in an asynchronous message-passing system prone to an arbitrary number of process crashes.
https://hal.inria.fr/inria-00392450
Contributeur : Anne Jaigu
<>
Soumis le : lundi 8 juin 2009 - 10:31:09
Dernière modification le : mercredi 16 mai 2018 - 11:23:13
Document(s) archivé(s) le : jeudi 10 juin 2010 - 20:48:00
François Bonnet, Michel Raynal. A simple proof of the necessity of the failure detector $\Sigma$ to implement a register in asynchronous message-passing systems. [Research Report] PI 1932, 2009, pp.8. 〈inria-00392450〉
