A network protocol consists of a program for each network node. Each program consists of code and inputs as well as local state. The global state of the network consists of the local state of each node as well as the messages on network links. We define a catastrophic fault as a fault that arbitrarily corrupts
|
796
|
Distributed snapshots: Determining global states of distributed systems
– Chandy, Lamport
- 1985
|
|
381
|
An introduction to input/output automata
– Lynch, Tuttle
- 1989
|
|
285
|
The design philosophy of the DARPA Internet protocols
– Clark
- 1988
|
|
145
|
Self Stabilization of Dynamic Systems Assuming Only Read/Write Atomicity
– Dolev, Moran, et al.
- 1990
|
|
124
|
Proving liveness properties of concurrent programs
– Owicki, Lamport
- 1982
|
|
119
|
Distributed reset
– Arora, Gouda
- 1994
|
|
104
|
Self-stabilization by local checking and correction
– Awerbuch, Patt-Shamir, et al.
- 1991
|
|
103
|
Self-stabilizing extensions for message-passing systems
– Katz, Perry
- 1993
|
|
95
|
Uniform self-stabilizing rings
– Burns, Pachl
- 1989
|
|
80
|
M.R.: Time–constrained automata
– Merritt, Modugno, et al.
- 1991
|
|
72
|
Completing the temporal picture
– Manna, Pnueli
- 1991
|
|
66
|
Distributed program checking: a paradigm for building self-stabilizing distributed protocols. FOCS
– Awerbuch
- 1991
|
|
64
|
Self stabilization in spite of distributed control
– Dijkstra
- 1974
|
|
64
|
Token Management Schemes and Random Walks Yield Self Stabilizing Mutual Exclusion
– Israeli, Jalfon
- 1990
|
|
62
|
Stabilizing Communication Protocols
– Gouda, Multari
- 1991
|
|
60
|
Memory-Efficient Self-Stabilization on General Networks
– Afek, Kutten, et al.
- 1990
|
|
51
|
Fault-tolerant broadcast of routing information
– Perlman
- 1983
|
|
38
|
An Algorithm for Distributed Computation of a Spanning Tree
– Perlman
- 1985
|
|
37
|
Self-stabilization by local checking and correction
– Varghese
- 1992
|
|
34
|
Self-stabilization by counter flushing
– Varghese
|
|
29
|
Self-stabilizing end-to-end communication
– Awerbuch, Patt-Shamir, et al.
- 1996
|
|
29
|
Resource Bounds for Self Stabilization Message Driven Protocols
– Dolev, Israeli, et al.
- 1991
|
|
29
|
Self-stabilizing Ring Orientation
– Israeli, Jalfon
- 1990
|
|
24
|
Vulnerabilities of Network Control Protocols: An Example
– Rosen
- 1981
|
|
9
|
Self-stabilization of the alternating bit protocol
– Afek, Brown
- 1989
|
|
7
|
Reliable communication
– Spinelli
- 1988
|
|
2
|
Creating selfstabilizing protocols by using a reset protocol
– Awerbuch, Patt-Shamir, et al.
- 1991
|
|
2
|
Stabilizing, hardware-based implementation of a flow control scheme for high speed links. Presented to ATM Forum in Aug
– Cooper, Simcoe, et al.
- 1993
|
|
2
|
Reliable communication data links
– Spinelli
- 1988
|
|
1
|
Self-stabilization by local checking and network correction
– Awerbuch, Patt, et al.
- 1994
|
