On Distributed Verification (2006)

Cached

Download Links

by Amos Korman , Shay Kutten
Citations:1 - 0 self

Active Bibliography

19 The Local Detection Paradigm and its Applications to Self-Stabilization – Yehuda Afek, Shay Kutten, Moti Yung
7 Proof Labeling Schemes – Amos Korman, Shay Kutten, David Peleg - 2005
The Local Detection Paradigm for Self Stabilization to Self Stabilization – Yehuda Afek, Shay Kutten, Moti Yung - 1994
Proof Labeling Schemes (Extended ABstract) – Amos Korman, Shay Kutten, David Peleg - 2005
33 Local Stabilizer – Yehuda Afek, Shlomi Dolev - 1997
Local Stabilizer (Extended Abstract) – Yehuda Afek, Shlomi Dolev
12 Distributed Verification of Minimum Spanning Trees – Amos Korman, Shay Kutten - 2006
1 Scalable Fault Tolerance – Shay Kutten - 1996
13 Self-Stabilizing PIF Algorithm in Arbitrary Rooted Networks – Alain Cournier, Ajoy K. Datta, Franck Petit, Vincent Villain - 2001
36 Self-stabilization by Counter Flushing – George Varghese - 1994
1 Optimal PIF In Tree Networks – Alain Bui, Ajoy K. Datta, Franck Petit, Vincent Villain - 1999
45 State-Optimal Snap-Stabilizing PIF in Tree Networks (Extended Abstract) – Alain Bui, Ajoy K. Datta, Franck Petit, Vincent Villain - 1999
56 Fault-local distributed mending – Shay Kutten, David Peleg - 1995
21 Self-Stabilizing Unidirectional Network Algorithms by Power-Supply – Yehuda Afek, Anat Bremler - 1997
5 A Time Optimal Self-Stabilizing Synchronizer Using A Phase Clock – Baruch Awerbuch, Shay Kutten, Yishay Mansour, Boaz Patt-Shamir, George Varghese - 2006
8 Self-Stabilizing Algorithms for Synchronous Unidirectional Rings (Extended Summary) – Alain Mayer, Rafail Ostrovsky, Moti Yung - 1996
5 Self-Stabilization In Distributed Systems - A Short Survey – Jerzy Brzezinski, Michal Szychowiak, Dariusz Wawrzyniak - 2000
10 A Survey of Self-Stabilizing Spanning-Tree Construction Algorithms – Felix C. Gärtner - 2003
8 Snap-stabilizing pif and useless computations – Alain Cournier, Stéphane Devismes, Vincent Villain - 2006