On the Formal Specification of Group Membership Services - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1995

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.
Fichier principal
Vignette du fichier
RR-2695.pdf (273.64 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00073995 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00073995 , version 1

Cite

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⟩
61 View
109 Download

Share

Gmail Facebook Twitter LinkedIn More