A new approach to detection of locally indicative stability

Nir Shavit, Nissim Francez

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


A new approach to derivation of detection algorithms for stable properties in distributed systems, in cases where local indicators may be found, is presented. A local indicator is a local predicate, which, when holding, indicates that the current local state is a potential component of a stable global state. "Joint" local stability implies the global one. The approach is based on a new way of viewing the computation of a distributed program and yields a solution having several important advantages over known detection algorithms for locally indicative stable properties. Unlike the case in previous algorithms, symmetry of the solution is a natural byproduct of the derivation, and the price paid for it (in terms of message complexity, restrictions on the underlaying computation, need of global knowledge…) is very low.

Original languageEnglish
Title of host publicationAutomata, Languages and Programming - 13th International Colloquium, Proceedings
EditorsLaurent Kott
PublisherSpringer Verlag
Number of pages15
ISBN (Print)9783540167617
StatePublished - 1986
Externally publishedYes
Event13th International Colloquium on Automata, Languages and Programming, ICALP 1986 - Rennes, France
Duration: 15 Jul 198619 Jul 1986

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume226 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference13th International Colloquium on Automata, Languages and Programming, ICALP 1986


FundersFunder number
Technion-Israel Institute of Technology


    Dive into the research topics of 'A new approach to detection of locally indicative stability'. Together they form a unique fingerprint.

    Cite this