-
2
-
-
0028429290
-
A bounded first-in, first-enabled solution to the l-exclusion problem
-
3
-
Afek, Y., Dolev, D., Gafni, E., Merritt, M., Shavit, N.: A bounded first-in, first-enabled solution to the l-exclusion problem. ACM Trans. Program. Lang. Syst. 16(3), 939-953 (1994)
-
(1994)
ACM Trans. Program. Lang. Syst.
, vol.16
, pp. 939-953
-
-
Afek, Y.1
Dolev, D.2
Gafni, E.3
Merritt, M.4
Shavit, N.5
-
3
-
-
38249017639
-
Fast, randomized consensus using shared memory
-
2
-
Aspnes, J., Herlihy, M.: Fast, randomized consensus using shared memory. J. Algorithms 11(2), 441-461 (1990)
-
(1990)
J. Algorithms
, vol.11
, pp. 441-461
-
-
Aspnes, J.1
Herlihy, M.2
-
4
-
-
10444290235
-
Algorithms adapting to point contention
-
4
-
Attiya, H., Fouren, A.: Algorithms adapting to point contention. J. ACM 50(4), 444-468 (2003)
-
(2003)
J. ACM
, vol.50
, pp. 444-468
-
-
Attiya, H.1
Fouren, A.2
-
5
-
-
38249000189
-
Bounds on shared memory for mutual exclusion
-
2
-
Burns, J., Lynch, N.: Bounds on shared memory for mutual exclusion. Inf. Comput. 107(2), 171-184 (1993)
-
(1993)
Inf. Comput.
, vol.107
, pp. 171-184
-
-
Burns, J.1
Lynch, N.2
-
6
-
-
0026188189
-
Concerning the size of logical clocks in distributed systems
-
1
-
Charron-Bost, B.: Concerning the size of logical clocks in distributed systems. Inf. Process. Lett. 39(1), 11-16 (1991)
-
(1991)
Inf. Process. Lett.
, vol.39
, pp. 11-16
-
-
Charron-Bost, B.1
-
7
-
-
0001366195
-
Bounded concurrent time-stamping
-
2
-
Dolev, D., Shavit, N.: Bounded concurrent time-stamping. SIAM J. Comput. 26(2), 418-455 (1997)
-
(1997)
SIAM J. Comput.
, vol.26
, pp. 418-455
-
-
Dolev, D.1
Shavit, N.2
-
8
-
-
0032620754
-
Time-lapse snapshots
-
5
-
Dwork, C., Herlihy, M., Plotkin, S., Waarts, O.: Time-lapse snapshots. SIAM J. Comput. 28(5), 1848-1874 (1999)
-
(1999)
SIAM J. Comput.
, vol.28
, pp. 1848-1874
-
-
Dwork, C.1
Herlihy, M.2
Plotkin, S.3
Waarts, O.4
-
9
-
-
0142075126
-
Simple and efficient bounded concurrent timestamping and the traceable use abstraction
-
5
-
Dwork, C., Waarts, O.: Simple and efficient bounded concurrent timestamping and the traceable use abstraction. J. ACM 46(5), 633-666 (1999)
-
(1999)
J. ACM
, vol.46
, pp. 633-666
-
-
Dwork, C.1
Waarts, O.2
-
10
-
-
38049001161
-
The space complexity of unbounded timestamps
-
Ellen, F., Fatourou, P., Ruppert, E.: The space complexity of unbounded timestamps. In: Proc. Distributed Computing, 21st International Symposium. LNCS, vol. 4731, pp. 223-237 (2007)
-
(2007)
LNCS
, vol.4731
, pp. 223-237
-
-
Ellen, F.1
Fatourou, P.2
Ruppert, E.3
-
11
-
-
33748124791
-
Time-space tradeoffs for implementations of snapshots
-
Fatourou, P., Fich, F.E., Ruppert, E.: Time-space tradeoffs for implementations of snapshots. In: Proc. 38th ACM Symposium on Theory of Computing, pp. 169-178 (2006)
-
(2006)
Proc. 38th ACM Symposium on Theory of Computing
, pp. 169-178
-
-
Fatourou, P.1
Fich, F.E.2
Ruppert, E.3
-
12
-
-
0032158286
-
On the space complexity of randomized synchronization
-
5
-
Fich, F., Herlihy, M., Shavit, N.: On the space complexity of randomized synchronization. J. ACM 45(5), 843-862 (1998)
-
(1998)
J. ACM
, vol.45
, pp. 843-862
-
-
Fich, F.1
Herlihy, M.2
Shavit, N.3
-
13
-
-
0026202534
-
Logical time in distributed computing systems
-
8
-
Fidge, C.: Logical time in distributed computing systems. Computer 24(8), 28-33 (1991)
-
(1991)
Computer
, vol.24
, pp. 28-33
-
-
Fidge, C.1
-
14
-
-
35148845015
-
Anonymous and fault-tolerant shared-memory computing
-
3
-
Guerraoui, R., Ruppert, E.: Anonymous and fault-tolerant shared-memory computing. Distrib. Comput. 20(3), 165-177 (2007)
-
(2007)
Distrib. Comput.
, vol.20
, pp. 165-177
-
-
Guerraoui, R.1
Ruppert, E.2
-
15
-
-
0009968655
-
Bounded concurrent timestamp systems using vector clocks
-
1
-
Haldar, S., Vitányi, P.: Bounded concurrent timestamp systems using vector clocks. J. ACM 49(1), 101-126 (2002)
-
(2002)
J. ACM
, vol.49
, pp. 101-126
-
-
Haldar, S.1
Vitányi, P.2
-
17
-
-
0038644209
-
Obstruction-free synchronization: Double-ended queues as an example
-
Herlihy, M., Luchangco, V., Moir, M.: Obstruction-free synchronization: Double-ended queues as an example. In: Proc. 23rd IEEE International Conference on Distributed Computing Systems, pp. 522-529 (2003)
-
(2003)
Proc. 23rd IEEE International Conference on Distributed Computing Systems
, pp. 522-529
-
-
Herlihy, M.1
Luchangco, V.2
Moir, M.3
-
18
-
-
0025460579
-
Linearizability: A correctness condition for concurrent objects
-
3
-
Herlihy, M.P., Wing, J.M.: Linearizability: a correctness condition for concurrent objects. ACM Trans. Program. Lang. Syst. 12(3), 463-492 (1990)
-
(1990)
ACM Trans. Program. Lang. Syst.
, vol.12
, pp. 463-492
-
-
Herlihy, M.P.1
Wing, J.M.2
-
19
-
-
0000149509
-
Bounded time-stamps
-
4
-
Israeli, A., Li, M.: Bounded time-stamps. Distrib. Comput. 6(4), 205-209 (1993)
-
(1993)
Distrib. Comput.
, vol.6
, pp. 205-209
-
-
Israeli, A.1
Li, M.2
-
21
-
-
0342468144
-
Time and space lower bounds for nonblocking implementations
-
2
-
Jayanti, P., Tan, K., Toueg, S.: Time and space lower bounds for nonblocking implementations. SIAM J. Comput. 30(2), 438-456 (2000)
-
(2000)
SIAM J. Comput.
, vol.30
, pp. 438-456
-
-
Jayanti, P.1
Tan, K.2
Toueg, S.3
-
22
-
-
0016090932
-
A new solution of Dijkstra's concurrent programming problem
-
8
-
Lamport, L.: A new solution of Dijkstra's concurrent programming problem. Commun. ACM 17(8), 453-455 (1974)
-
(1974)
Commun. ACM
, vol.17
, pp. 453-455
-
-
Lamport, L.1
-
23
-
-
0017996760
-
Time, clocks and the ordering of events in a distributed system
-
7
-
Lamport, L.: Time, clocks and the ordering of events in a distributed system. Commun. ACM 21(7), 558-565 (1978)
-
(1978)
Commun. ACM
, vol.21
, pp. 558-565
-
-
Lamport, L.1
-
24
-
-
0030197411
-
How to share concurrent wait-free variables
-
4
-
Li, M., Tromp, J., Vitányi, P.M.B.: How to share concurrent wait-free variables. J. ACM 43(4), 723-746 (1996)
-
(1996)
J. ACM
, vol.43
, pp. 723-746
-
-
Li, M.1
Tromp, J.2
Vitányi, P.M.B.3
-
26
-
-
56449097032
-
Computing on a partially eponymous ring
-
Mavronicolas, M., Michael, L., Spirakis, P.: Computing on a partially eponymous ring. In: Proc. 10th International Conference on Principles of Distributed Systems, pp. 380-394 (2006)
-
(2006)
Proc. 10th International Conference on Principles of Distributed Systems
, pp. 380-394
-
-
Mavronicolas, M.1
Michael, L.2
Spirakis, P.3
|