Efficient detection of a class of stable properties


We present a general protocol for detecting whether a property holds in a distributed system, where the property is a member of a class of stable properties we call thelocally 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… (More)
DOI: 10.1007/BF02280830


7 Figures and Tables