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
Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
Type de document :
Article dans une revue
Information Processing Letters, Elsevier, 2010, 110 (4)
Liste complète des métadonnées

https://hal.inria.fr/inria-00543125
Contributeur : Davide Frey <>
Soumis le : dimanche 5 décembre 2010 - 20:24:40
Dernière modification le : mercredi 11 avril 2018 - 01:56:50

Identifiants

  • HAL Id : inria-00543125, version 1

Citation

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, Elsevier, 2010, 110 (4). 〈inria-00543125〉

Partager

Métriques

Consultations de la notice

156