|
П |
Disk Paxos |
2000 |
Gafni E., Lamport L. |
|
|
Systems Research Center |
|
18.04.2001 |
|
СТ |
A Bounded First-In, First-Enabled Solution to the l-Exclusion Problem |
1994 |
Afek Y., Dolev D., Gafni E., Merritt M., Shavit N. |
|
|
|
ACM Trans. Programming Languages and Systems |
01.09.1994 |
|
СТ |
Atomic Snapshots of Shared Memory |
1993 |
Afek Y., Attiya H., Dolev D., Gafni E., Merritt M., Shavit N. |
|
|
|
J. of the ACM |
25.11.1993 |
|
СТ |
Wait-free Test-and-Set |
1992 |
Afek Y., Gafni E., Tromp J., Vitanyi P.M. B. |
|
|
|
Lecture Notes in Computer Science |
28.11.1992 |
