A simple proof of the necessity of the failure detector Sigma to implement an atomic register in asynchronous message-passing systems

François Bonnet (1) , Michel Raynal (1)

1 ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems

François Bonnet, Michel Raynal. A simple proof of the necessity of the failure detector Sigma to implement an atomic register in asynchronous message-passing systems. Information Processing Letters, 2010, 110 (4). ⟨inria-00543125⟩