On the Formal Specification of Group Membership Services

Abstract : The problem of group membership has been the focus of much theoretical and experimental work on fault-tolerant distributed systems. This has resulted in a voluminous literature and several formal specifications of this problem have been given. In this paper, we examine the two most referenced formal specifications of group membership and show that they are unsatisfactory: One has flaws in the formalism and allows undesirable executions, and the other can be satisfied by useless protocols.
Type de document :
Rapport
[Research Report] RR-2695, INRIA. 1995
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00073995
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:15:54
Dernière modification le : mardi 17 avril 2018 - 11:28:23
Document(s) archivé(s) le : jeudi 24 mars 2011 - 13:41:40

Fichiers

Identifiants

  • HAL Id : inria-00073995, version 1

Collections

Citation

Emmanuelle Anceaume, Bernadette Charron-Bost, Pascale Minet, Sam Toueg. On the Formal Specification of Group Membership Services. [Research Report] RR-2695, INRIA. 1995. 〈inria-00073995〉

Partager

Métriques

Consultations de la notice

126

Téléchargements de fichiers

161