Show simple item record

dc.contributor.authorAnceaume, Emmanuelleen_US
dc.contributor.authorCharron-Bost, Bernadetteen_US
dc.contributor.authorMinet, Pascaleen_US
dc.contributor.authorToueg, Samen_US
dc.date.accessioned2007-04-23T18:03:38Z
dc.date.available2007-04-23T18:03:38Z
dc.date.issued1995-08en_US
dc.identifier.citationhttp://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR95-1534en_US
dc.identifier.urihttps://hdl.handle.net/1813/7191
dc.description.abstractThe 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.en_US
dc.format.extent223521 bytes
dc.format.extent273900 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/postscript
dc.language.isoen_USen_US
dc.publisherCornell Universityen_US
dc.subjectcomputer scienceen_US
dc.subjecttechnical reporten_US
dc.titleOn the Formal Specification of Group Membership Servicesen_US
dc.typetechnical reporten_US


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

Statistics