JavaScript is disabled for your browser. Some features of this site may not work without it.
Using Consistent Subcuts for Detecting Stable Properties
dc.contributor.author | Marzullo, Keith | en_US |
dc.contributor.author | Sabel, Laura S. | en_US |
dc.date.accessioned | 2007-04-23T17:58:34Z | |
dc.date.available | 2007-04-23T17:58:34Z | |
dc.date.issued | 1992-04 | en_US |
dc.identifier.citation | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR92-1277 | en_US |
dc.identifier.uri | https://hdl.handle.net/1813/7117 | |
dc.description.abstract | We present a general protocol for detecting whether a property holds in a distributed system, where the property is a member of a subclass of stable properties we call the locally stable properties. Our protocol is based on a decentralized method for constructing a maximal subset of the local states that are mutually consistent, which in turn is based on a weakened version of vector time stamps. The structure of our protocol lends itself to refinement, and we demonstrate its utility by deriving some specialized property-detection protocols, including two previously-known protocols that are known to be efficient. | en_US |
dc.format.extent | 1876758 bytes | |
dc.format.extent | 382972 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 | Using Consistent Subcuts for Detecting Stable Properties | en_US |
dc.type | technical report | en_US |