A new approach to detection of locally indicative stability

Nir Shavit; Nissim Francez

doi:10.1007/3-540-16761-7_84

A new approach to detection of locally indicative stability

Nir Shavit, Nissim Francez

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

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 language	English
Title of host publication	Automata, Languages and Programming - 13th International Colloquium, Proceedings
Editors	Laurent Kott
Publisher	Springer Verlag
Pages	344-358
Number of pages	15
ISBN (Print)	9783540167617
DOIs	https://doi.org/10.1007/3-540-16761-7_84
State	Published - 1986
Externally published	Yes
Event	13th International Colloquium on Automata, Languages and Programming, ICALP 1986 - Rennes, France Duration: 15 Jul 1986 → 19 Jul 1986

Publication series

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

Conference

Conference	13th International Colloquium on Automata, Languages and Programming, ICALP 1986
Country/Territory	France
City	Rennes
Period	15/07/86 → 19/07/86

Access to Document

10.1007/3-540-16761-7_84

Cite this

Shavit, N., & Francez, N. (1986). A new approach to detection of locally indicative stability. In L. Kott (Ed.), Automata, Languages and Programming - 13th International Colloquium, Proceedings (pp. 344-358). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 226 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-16761-7_84

@inproceedings{7d43129f1e034bfabd44d40aacb4dc4f,

title = "A new approach to detection of locally indicative stability",

abstract = "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.",

author = "Nir Shavit and Nissim Francez",

note = "Publisher Copyright: {\textcopyright} 1986, Springer-Verlag.; null ; Conference date: 15-07-1986 Through 19-07-1986",

year = "1986",

doi = "10.1007/3-540-16761-7_84",

language = "אנגלית",

isbn = "9783540167617",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "344--358",

editor = "Laurent Kott",

booktitle = "Automata, Languages and Programming - 13th International Colloquium, Proceedings",

}

Shavit, N & Francez, N 1986, A new approach to detection of locally indicative stability. in L Kott (ed.), Automata, Languages and Programming - 13th International Colloquium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 226 LNCS, Springer Verlag, pp. 344-358, 13th International Colloquium on Automata, Languages and Programming, ICALP 1986, Rennes, France, 15/07/86. https://doi.org/10.1007/3-540-16761-7_84

A new approach to detection of locally indicative stability. / Shavit, Nir; Francez, Nissim.

Automata, Languages and Programming - 13th International Colloquium, Proceedings. ed. / Laurent Kott. Springer Verlag, 1986. p. 344-358 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 226 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A new approach to detection of locally indicative stability

AU - Shavit, Nir

AU - Francez, Nissim

PY - 1986

Y1 - 1986

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85034641241&partnerID=8YFLogxK

U2 - 10.1007/3-540-16761-7_84

DO - 10.1007/3-540-16761-7_84

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85034641241

SN - 9783540167617

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 344

EP - 358

BT - Automata, Languages and Programming - 13th International Colloquium, Proceedings

A2 - Kott, Laurent

PB - Springer Verlag

Y2 - 15 July 1986 through 19 July 1986

ER -

Shavit N, Francez N. A new approach to detection of locally indicative stability. In Kott L, editor, Automata, Languages and Programming - 13th International Colloquium, Proceedings. Springer Verlag. 1986. p. 344-358. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-16761-7_84

A new approach to detection of locally indicative stability

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this