JavaScript is disabled for your browser. Some features of this site may not work without it.
On the Formal Specification of Group Membership Services
| dc.contributor.author | Anceaume, Emmanuelle | en_US |
| dc.contributor.author | Charron-Bost, Bernadette | en_US |
| dc.contributor.author | Minet, Pascale | en_US |
| dc.contributor.author | Toueg, Sam | en_US |
| dc.date.accessioned | 2007-04-23T18:03:38Z | |
| dc.date.available | 2007-04-23T18:03:38Z | |
| dc.date.issued | 1995-08 | en_US |
| dc.identifier.citation | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR95-1534 | en_US |
| dc.identifier.uri | https://hdl.handle.net/1813/7191 | |
| dc.description.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. | en_US |
| dc.format.extent | 223521 bytes | |
| dc.format.extent | 273900 bytes | |
| dc.format.mimetype | application/pdf | |
| dc.format.mimetype | application/postscript | |
| dc.language.iso | en_US | en_US |
| dc.publisher | Cornell University | en_US |
| dc.subject | computer science | en_US |
| dc.subject | technical report | en_US |
| dc.title | On the Formal Specification of Group Membership Services | en_US |
| dc.type | technical report | en_US |
