-
1
-
-
84909711389
-
Assertion decomposition and partial correctness of distributed algorithms
-
Paker and Verjus Ed.), Academic Press
-
CARVALHO O. S. F., ROUCAIROL G. Assertion decomposition and partial correctness of distributed algorithms. In Distributed Computing, (Paker and Verjus Ed.), Academic Press, (1983), pp. 67-93.
-
(1983)
In Distributed Computing
, pp. 67-93
-
-
Carvalho, O.S.F.1
Roucairol, G.2
-
4
-
-
0024065656
-
A distributed algorithm for mutual exclusion in an arbitrary network
-
HELARY J. M., PLOUZEAU N., RAYNAL M. A distributed algorithm for mutual exclusion in an arbitrary network. The Computer Journal, 31(4): 289-295, (1988).
-
(1988)
The Computer Journal
, vol.31
, Issue.4
, pp. 289-295
-
-
Helary, J.M.1
Plouzeau, N.2
Raynal, M.3
-
5
-
-
0017996760
-
-
LAMPORT L. Time, clocks and ordering of events in distributed systems, communications of the ACM, 21(7): 558-564, (1978).
-
(1978)
Time, Clocks and Ordering of Events in Distributed Systems, Communications of the ACM
, vol.21
, Issue.7
, pp. 558-564
-
-
Lamport, L.1
-
7
-
-
0022144927
-
Distributed mutual exclusion on a ring of processes
-
MARTIN A. J. Distributed mutual exclusion on a ring of processes. Science of Computer Programming, vol. 5, (1985), pp. 265-276.
-
(1985)
Science of Computer Programming
, vol.5
, pp. 265-276
-
-
Martin, A.J.1
-
8
-
-
0024607971
-
A tree-based algorithm for distributed mutual exclusion
-
RAYMOND K. A tree-based algorithm for distributed mutual exclusion. ACM Transactions on Computer Systems, 7(1): 61-77, (1989).
-
(1989)
ACM Transactions on Computer Systems
, vol.7
, Issue.1
, pp. 61-77
-
-
Raymond, K.1
-
9
-
-
0024608694
-
A distributed algorithm for multiple entries to a critical section
-
RAYMOND K. A distributed algorithm for multiple entries to a critical section. Inf. Processing Letters, vol. 30, (1989), pp. 189-193.
-
(1989)
Inf. Processing Letters
, vol.30
, pp. 189-193
-
-
Raymond, K.1
-
10
-
-
0004273387
-
Algorithms for mutual exclusion
-
RAYNAL M. Algorithms for mutual exclusion. MIT Press, (1986), 107 p.
-
(1986)
MIT Press
-
-
Raynal, M.1
-
11
-
-
85030763398
-
Distributed computations and networks: Concepts, tools and algorithms
-
RAYNAL M. Distributed computations and networks: concepts, tools and algorithms. MIT Press, (1988), 160 p.
-
(1988)
MIT Press
-
-
Raynal, M.1
-
12
-
-
0019439018
-
An optimal algorithm for mutual exclusion in computer networks
-
RICART G., AGRAWALA A. K. An optimal algorithm for mutual exclusion in computer networks. Communication of the ACM, 24(1): 9-17, (1981).
-
(1981)
Communication of the ACM
, vol.24
, Issue.1
, pp. 9-17
-
-
Ricart, G.1
Agrawala, A.K.2
-
13
-
-
0023401462
-
The information structure of distributed mutual exclusion algorithms
-
SANDERS B. The information structure of distributed mutual exclusion algorithms. ACM Transactions on Computer Systems, 5(3): 284-299, (1987).
-
(1987)
ACM Transactions on Computer Systems
, vol.5
, Issue.3
, pp. 284-299
-
-
Sanders, B.1
-
14
-
-
0023400580
-
Fair mutual exclusion on a graph of processes
-
Van De SNEPSCHEUT J. L. Fair mutual exclusion on a graph of processes. Distributed Computing, 2: 113-115, (1987).
-
(1987)
Distributed Computing
, vol.2
, pp. 113-115
-
-
Van De, S.1
|