| タイトル | Using consistent subcuts for detecting stable properties |
| 本文（外部サイト） | http://hdl.handle.net/2060/19920022309 |
| 著者（英） | Marzullo, Keith; Sabel, Laura |
| 著者所属（英） | Cornell Univ. |
| 発行日 | 1992-04-01 |
| 言語 | eng |
| 内容記述 | 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 vectored 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 effective. |
| NASA分類 | NUMERICAL ANALYSIS |
| レポートNO | 92N31553
NAS 1.26:190443
TR-92-1277
NASA-CR-190443
TR-91-1205 |
| 権利 | No Copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/126270 |
