-
3
-
-
84976834622
-
Self-stabilizing systems in spite of distributed control
-
November
-
E. W. Dijkstra. Self-stabilizing systems in spite of distributed control. Communications of the ACM, 17(11):643-644, November 1974.
-
(1974)
Communications of the ACM
, vol.17
, Issue.11
, pp. 643-644
-
-
Dijkstra, E.W.1
-
4
-
-
0022582906
-
A belated proof of self-stabilization
-
E. W. Dijkstra. A belated proof of self-stabilization. Distributed Computing, 1(1):5-6, 1986.
-
(1986)
Distributed Computing
, vol.1
, Issue.1
, pp. 5-6
-
-
Dijkstra, E.W.1
-
5
-
-
34848875276
-
Stabilization-preserving atomicity refinement
-
DISC99 Distributed Computing 13th International Symposium, Springer-Verlag
-
M Nesterenko and A Arora. Stabilization-preserving atomicity refinement. In DISC99 Distributed Computing 13th International Symposium, Springer-Verlag LNCS:1693, pages 254-268, 1999.
-
(1999)
LNCS
, vol.1693
, pp. 254-268
-
-
Nesterenko, M.1
Arora, A.2
-
6
-
-
84878666603
-
Mutual exclusion between neighboring nodes in an arbitrary system graph tree that stabilizes using read/write atomicity
-
Europar'99 Parallel Processing, Proceedings
-
G Antonoiu and PK Srimani. Mutual exclusion between neighboring nodes in an arbitrary system graph tree that stabilizes using read/write atomicity. In Europar'99 Parallel Processing, Proceedings LNCS:1685, pages 823-830, 1999.
-
(1999)
LNCS
, vol.1685
, pp. 823-830
-
-
Antonoiu, G.1
Srimani, P.K.2
-
7
-
-
84958778134
-
Self-stabilizing local mutual exclusion and daemon refinement
-
DISC00 Distributed Computing 14th International Symposium, Springer-Verlag
-
J Beauquier, AK Datta, M Gradinariu, and F Magniette. Self-stabilizing local mutual exclusion and daemon refinement. In DISC00 Distributed Computing 14th International Symposium, Springer-Verlag LNCS:1914, 2000.
-
(2000)
LNCS
, vol.1914
-
-
Beauquier, J.1
Datta, A.K.2
Gradinariu, M.3
Magniette, F.4
-
8
-
-
0001917377
-
A self-stabilizing algorithm for coloring planar graphs
-
S Ghosh and MH Karaata. A self-stabilizing algorithm for coloring planar graphs. Distributed Computing, 7:55-59, 1993.
-
(1993)
Distributed Computing
, vol.7
, pp. 55-59
-
-
Ghosh, S.1
Karaata, M.H.2
-
9
-
-
0027256986
-
A self-stabilizing algorithm for coloring bipartite graphs
-
S Sur and PK Srimani. A self-stabilizing algorithm for coloring bipartite graphs. Information Sciences, 69:219-227, 1993.
-
(1993)
Information Sciences
, vol.69
, pp. 219-227
-
-
Sur, S.1
Srimani, P.K.2
-
11
-
-
84882677069
-
A space-efficient and self-stabilizing depth-first token circulation protocol for asynchronous message-passing systems
-
Europar'97 Parallel Processing, Proceedings Springer- Verlag
-
F Petit and V Villain. A space-efficient and self-stabilizing depth-first token circulation protocol for asynchronous message-passing systems. In Europar'97 Parallel Processing, Proceedings LNCS:1300, pages 476-479. Springer-Verlag, 1997.
-
(1997)
LNCS
, vol.1300
, pp. 476-479
-
-
Petit, F.1
Villain, V.2
-
13
-
-
0003037529
-
Reducibility among combinatorial problems
-
R. E. Miller and J. W. Thatcher, editors, Plenum Press
-
R. Karp. Reducibility among combinatorial problems. In R. E. Miller and J. W. Thatcher, editors, Complexity of Computer Computations, pages 85-104. Plenum Press, 1972.
-
(1972)
Complexity of Computer Computations
, pp. 85-104
-
-
Karp, R.1
-
14
-
-
0002988339
-
Mathematics and games
-
P. M. Grundy. Mathematics and games. Eureka, 2:6-8, 1939.
-
(1939)
Eureka
, vol.2
, pp. 6-8
-
-
Grundy, P.M.1
|