A new technique for proving self-stabilizing under the distributed scheduler

Sven Köhler; Volker Turau

doi:10.1007/978-3-642-16023-3_8

A new technique for proving self-stabilizing under the distributed scheduler

Sven Köhler, Volker Turau

Hamburg University of Technology

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

4 Scopus citations

Abstract

Proving stabilization of a complex algorithm under the distributed scheduler is a non-trivial task. This paper introduces a new method which allows to extend proofs for the central scheduler to the distributed scheduler. The practicability of the method is shown by applying it to two existing algorithms, for which stabilization under the distributed scheduler was an open problem.

Original language	English
Title of host publication	Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, Proceedings
Pages	65-79
Number of pages	15
DOIs	https://doi.org/10.1007/978-3-642-16023-3_8
State	Published - 2010
Externally published	Yes
Event	12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2010 - New York, NY, United States Duration: 20 Sep 2010 → 22 Sep 2010

Publication series

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

Conference

Conference	12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2010
Country/Territory	United States
City	New York, NY
Period	20/09/10 → 22/09/10

Bibliographical note

Funding Information:
This research was funded by the German Research Foundation (DFG), contract number TU 221/3-1.

Funding

This research was funded by the German Research Foundation (DFG), contract number TU 221/3-1.

Funders	Funder number
Deutsche Forschungsgemeinschaft	TU 221/3-1

Access to Document

10.1007/978-3-642-16023-3_8

Cite this

Köhler, S., & Turau, V. (2010). A new technique for proving self-stabilizing under the distributed scheduler. In Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, Proceedings (pp. 65-79). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6366 LNCS). https://doi.org/10.1007/978-3-642-16023-3_8

Köhler, Sven ; Turau, Volker. / A new technique for proving self-stabilizing under the distributed scheduler. Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, Proceedings. 2010. pp. 65-79 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{44e0d0de571f48a5a343004d2fa04de4,

title = "A new technique for proving self-stabilizing under the distributed scheduler",

abstract = "Proving stabilization of a complex algorithm under the distributed scheduler is a non-trivial task. This paper introduces a new method which allows to extend proofs for the central scheduler to the distributed scheduler. The practicability of the method is shown by applying it to two existing algorithms, for which stabilization under the distributed scheduler was an open problem.",

author = "Sven K{\"o}hler and Volker Turau",

note = "Funding Information: This research was funded by the German Research Foundation (DFG), contract number TU 221/3-1.; 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2010 ; Conference date: 20-09-2010 Through 22-09-2010",

year = "2010",

doi = "10.1007/978-3-642-16023-3_8",

language = "אנגלית",

isbn = "3642160220",

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

pages = "65--79",

booktitle = "Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, Proceedings",

}

Köhler, S & Turau, V 2010, A new technique for proving self-stabilizing under the distributed scheduler. in Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6366 LNCS, pp. 65-79, 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2010, New York, NY, United States, 20/09/10. https://doi.org/10.1007/978-3-642-16023-3_8

A new technique for proving self-stabilizing under the distributed scheduler. / Köhler, Sven; Turau, Volker.
Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, Proceedings. 2010. p. 65-79 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6366 LNCS).

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

TY - GEN

T1 - A new technique for proving self-stabilizing under the distributed scheduler

AU - Köhler, Sven

AU - Turau, Volker

N1 - Funding Information: This research was funded by the German Research Foundation (DFG), contract number TU 221/3-1.

PY - 2010

Y1 - 2010

N2 - Proving stabilization of a complex algorithm under the distributed scheduler is a non-trivial task. This paper introduces a new method which allows to extend proofs for the central scheduler to the distributed scheduler. The practicability of the method is shown by applying it to two existing algorithms, for which stabilization under the distributed scheduler was an open problem.

AB - Proving stabilization of a complex algorithm under the distributed scheduler is a non-trivial task. This paper introduces a new method which allows to extend proofs for the central scheduler to the distributed scheduler. The practicability of the method is shown by applying it to two existing algorithms, for which stabilization under the distributed scheduler was an open problem.

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

U2 - 10.1007/978-3-642-16023-3_8

DO - 10.1007/978-3-642-16023-3_8

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

AN - SCOPUS:78249277436

SN - 3642160220

SN - 9783642160226

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

SP - 65

EP - 79

BT - Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, Proceedings

T2 - 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2010

Y2 - 20 September 2010 through 22 September 2010

ER -

Köhler S, Turau V. A new technique for proving self-stabilizing under the distributed scheduler. In Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, SSS 2010, Proceedings. 2010. p. 65-79. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-16023-3_8

A new technique for proving self-stabilizing under the distributed scheduler

Abstract

Publication series

Conference

Bibliographical note

Funding

Access to Document

Other files and links

Fingerprint

Cite this