Loading...
Please wait, while we are loading the content...
Similar Documents
Self-Stabilization Beyond the token ring circulation
| Content Provider | Semantic Scholar |
|---|---|
| Author | Ciuffoletti, Augusto |
| Copyright Year | 2001 |
| Abstract | Condensing the definition of self-stabilization in a few temporal logic predicates highlights strengths and limits of this concept: we show that it enforces structural properties in the design of an algorithm, and prove that the original definition is inherently limited to token passing in a ring. We complete our discussion introducing an extended definition motivated by the formal analysis. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.di.unipi.it/~augusto/papers/cur_2000_a.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |