-
1
-
-
0000627069
-
Appraising fairness in languages for distributed programming
-
Apt, K. R., Francez, N., Katz, S.: Appraising fairness in languages for distributed programming. Distr. Computing 2, 226-241 (1988)
-
(1988)
Distr. Computing
, vol.2
, pp. 226-241
-
-
Apt, K.R.1
Francez, N.2
Katz, S.3
-
2
-
-
0042757146
-
An algorithm for distributed mutual exclusion
-
Chaudhuri, P.: An algorithm for distributed mutual exclusion. Inf. Software Technol. 37, 375-381 (1995).
-
(1995)
Inf. Software Technol.
, vol.37
, pp. 375-381
-
-
Chaudhuri, P.1
-
3
-
-
0026204132
-
A self-stabilizing algorithm for constructing spanning trees
-
Chen, F. P., Yu, N. S., Huang, S. T.: A self-stabilizing algorithm for constructing spanning trees. Inf. Proc. Lett. 39, 147-151 (1991).
-
(1991)
Inf. Proc. Lett.
, vol.39
, pp. 147-151
-
-
Chen, F.P.1
Yu, N.S.2
Huang, S.T.3
-
4
-
-
0028385078
-
Self-stabilizing depth-first search
-
Collin, Z., Dolev, S.: Self-stabilizing depth-first search. Inf. Proc. Lett. 49, 297-301 (1994).
-
(1994)
Inf. Proc. Lett.
, vol.49
, pp. 297-301
-
-
Collin, Z.1
Dolev, S.2
-
5
-
-
84976834622
-
Self-stabilizing systems in spite of distributed control
-
Dijkstra, E. W.: Self-stabilizing systems in spite of distributed control. Comm. ACM 17, 643-644 (1974).
-
(1974)
Comm. ACM
, vol.17
, pp. 643-644
-
-
Dijkstra, E.W.1
-
6
-
-
0003974004
-
-
New York: Springer
-
Francez, N.: Fairness. New York: Springer 1986.
-
(1986)
Fairness
-
-
Francez, N.1
-
7
-
-
0001850936
-
Self-stabilizing depth-first token circulation on networks
-
Huang, S. T., Chen, N. S.: Self-stabilizing depth-first token circulation on networks. Distr. Comput. 7, 61-66 (1993).
-
(1993)
Distr. Comput.
, vol.7
, pp. 61-66
-
-
Huang, S.T.1
Chen, N.S.2
-
9
-
-
0022698004
-
The mutual exclusion problem: Part ii - Statement and solutions
-
Lamport, L.: The mutual exclusion problem: part ii - statement and solutions. J. ACM 33, 327-348 (1986).
-
(1986)
J. ACM
, vol.33
, pp. 327-348
-
-
Lamport, L.1
-
10
-
-
0022069122
-
A √N algorithm for mutual exclusion in decentralized systems
-
Maekawa, M.: A √N algorithm for mutual exclusion in decentralized systems. ACM Trans. Comput. Syst. 3, 145-159 (1985).
-
(1985)
ACM Trans. Comput. Syst.
, vol.3
, pp. 145-159
-
-
Maekawa, M.1
-
11
-
-
0019439018
-
An optimal algorithm for mutual exclusion in computer networks
-
Ricart, G., Agrawala A. K.: An optimal algorithm for mutual exclusion in computer networks. Comm. ACM 24, 9-17 (1981).
-
(1981)
Comm. ACM
, vol.24
, pp. 9-17
-
-
Ricart, G.1
Agrawala, A.K.2
-
12
-
-
0027553308
-
Self-stabilization
-
Schneider, M.: Self-stabilization. ACM Comput. Surv. 25, 45-67 (1993).
-
(1993)
ACM Comput. Surv.
, vol.25
, pp. 45-67
-
-
Schneider, M.1
-
13
-
-
1842808210
-
An iterative and starvation-free solution for a general class of distributed control problems based on interaction primitives
-
Wedde, H.: An iterative and starvation-free solution for a general class of distributed control problems based on interaction primitives. Theor. Comput. Sci. 242, 1-20 (1983).
-
(1983)
Theor. Comput. Sci.
, vol.242
, pp. 1-20
-
-
Wedde, H.1
-
14
-
-
0019624768
-
Protocols of accessing overlapping sets of resources
-
Winkowski, J.: Protocols of accessing overlapping sets of resources. Inf. Proc. Lett. 12, 239-243 (1981).
-
(1981)
Inf. Proc. Lett.
, vol.12
, pp. 239-243
-
-
Winkowski, J.1
|