On Distributed Verification (2006)

Cached

Download Links

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

Active Bibliography

20 Proof Labeling Schemes – Amos Korman, Shay Kutten, David Peleg - 2005
unknown title – Proof Labeling, Schemes Amos, Korman Shay, Kutten# David Peleg - 2007
Proof Labeling Schemes (Extended ABstract) – Amos Korman, Shay Kutten, David Peleg - 2005
23 The Local Detection Paradigm and its Applications to Self-Stabilization – Yehuda Afek, Shay Kutten, Moti Yung
35 Local Stabilizer – Yehuda Afek, Shlomi Dolev - 1997
19 Distributed Verification of Minimum Spanning Trees – Amos Korman, Shay Kutten - 2006
The Local Detection Paradigm for Self Stabilization to Self Stabilization – Yehuda Afek, Shay Kutten, Moti Yung - 1994
Local Stabilizer (Extended Abstract) – Yehuda Afek, Shlomi Dolev
Auto-stabilisation et Protocoles Réseau – Colette Johnen, Franck Petit, Sébastien Tixeuil