-
2
-
-
0023589502
-
Applying static network protocols to dynamic networks
-
in "Proceedings of the 28th Annual IEEE Symposium on Foundations of Computer Science,"
-
(1987)
, pp. 358-370
-
-
Afek, Y.1
Awerbuch, B.2
Gafni, E.3
-
4
-
-
85031458937
-
Local stabilizer
-
in "Proceedings of the 5th Israeli Symposium on Theory of Computing and Systems," June 1997 and Technical Report 97-02, Department of Mathematics and Computer Science, Ben-Gurion University, February
-
(1997)
-
-
Afek, Y.1
Dolev, S.2
-
5
-
-
0002301623
-
Memory-efficient self-stabilization on general networks
-
in "Proceedings of the 4th Workshop on Distributed Algorithms,"
-
(1990)
, pp. 15-28
-
-
Afek, Y.1
Kutten, S.2
Yung, M.3
-
7
-
-
33845441205
-
Distributed reset
-
also in "Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science," pp. 316-331, 1990
-
(1994)
IEEE Trans. Comput
, vol.43
, pp. 1026-1038
-
-
Arora, A.1
Gouda, M.G.2
-
11
-
-
0026404904
-
Distributed program checking: A paradigm for building self-stabilizing distributed protocols
-
in "Proceedings of the 32nd IEEE Symposium on Foundations of Computer Science,"
-
(1991)
, pp. 258-267
-
-
Awerbuch, B.1
Varghese, G.2
-
14
-
-
0030697572
-
Possible and impossible self-stabilizing digital clock synchronization in general graphs
-
(1997)
J. Real-Time Systems
, vol.12
, Issue.1
, pp. 95-107
-
-
Dolev, S.1
-
15
-
-
85031459146
-
-
"Self-Stabilization," MIT Press, New York
-
-
-
Dolev, S.1
-
16
-
-
0003270746
-
Superstabilizing protocols for dynamic distributed systems
-
in "Proceedings of the Second Workshop on Self-Stabilizing Systems," 1995; Chicago (on Self-Stabilization)
-
(1997)
J. Theoret. Comput. Sci
, vol.3
, Issue.4 SPEC. ISSUE
-
-
Dolev, S.1
Herman, T.2
-
17
-
-
0029725164
-
Memory requirements for silent stabilization
-
in "Proceedings of the 15th Annual ACM Symposium on Principles of Distributed Computing," 36 (1999), 447-462
-
(1996)
Acta Inform
, pp. 27-34
-
-
Dolev, S.1
Gouda, G.2
Schneider, M.3
-
18
-
-
0002676195
-
Self stabilization of dynamic systems assuming only read/write atomicity
-
in "Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computation," Montreal, pp. 103-117, August 1990; "Proceedings of the First Workshop on Self-Stabilizing Systems," 1989
-
(1993)
Distrib. Comput
, vol.7
, pp. 3-16
-
-
Dolev, S.1
Israeli, A.2
Moran, S.3
-
19
-
-
0029724930
-
Fault-containing self-stabilizing algorithms
-
in "Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computation," Philadelphia, May
-
(1996)
, pp. 45-54
-
-
Ghosh, S.1
Gupta, A.2
Herman, T.3
Pemmaraju, S.V.4
-
21
-
-
0002166475
-
Self-stabilizing extensions for message-passing systems
-
in "Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computation," Montreal, pp. 91-101, August 1990; "Proceedings of the First Workshop on Self-Stabilizing Systems," 1989
-
(1993)
Distrib. Comput
, vol.7
, pp. 17-26
-
-
Katz, S.1
Perry, K.J.2
-
22
-
-
0030717053
-
Time-adaptive self-stabilization
-
in "Proceedings of the 16th Annual ACM Symposium on Principles of Distributed Computing,"
-
(1997)
, pp. 149-158
-
-
Kutten, S.1
Patt-Shamir, B.2
-
23
-
-
0029205663
-
Fault-local distributed mending
-
in "Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computation," Montreal, August
-
(1995)
, pp. 20-27
-
-
Kutten, S.1
Peleg, D.2
-
26
-
-
85031457547
-
Local computations on static and dynamic graphs
-
in "Proceedings of the ISTCS'95, Israel Symposium on Theory of Computing and Systems,"
-
(1995)
-
-
Mayer, A.1
Naor, M.2
Stockmeyer, L.3
-
27
-
-
85031453435
-
What can be computed locally?
-
in "Proceedings of the 25th ACM Symposium on Theory of Computing,"
-
(1993)
, pp. 409-412
-
-
Naor, M.1
Stockmeyer, L.2
-
28
-
-
0024890316
-
Efficient distributed recovery using message logging
-
in "Proceedings of the 8th ACM Symposium on Principles of Distributed Computing,"
-
(1989)
, pp. 223-238
-
-
Sistla, A.P.1
Welch, J.L.2
-
29
-
-
84941469684
-
"On Distributed Network Protocols for Changing Topologies,"
-
Report LIDC-P-1564 MIT Laboratory for Information and Dec. Systems, May
-
(1986)
-
-
Soloway, F.R.1
Humblet, P.A.2
-
31
-
-
85031456768
-
A highly safe self-stabilizing mutual exclusion algorithm
-
in "Proceedings of the Second Workshop on Self-Stabilizing
-
(1995)
-
-
Yen, I.1
Bastani, F.B.2
|