On the Formal Specification of Group Membership Services
作者： Sam Toueg , Bernadette Charron-Bost , Emmanuelle Anceaume , Pascale Minet
DOI:
关键词:
摘要: The problem of group membership has been the focus much theoretical and experimental work on fault-tolerant distributed systems. This resulted in a voluminous literature several formal specifications this have given. In paper, we examine two most referenced show that they are unsatisfactory: One flaws formalism allows undesirable executions, other can be satisfied by useless protocols.
archives-ouvertes.fr参考文章(0)