|
СТ |
Modelling Asynchrony with a Synchronous Model |
1995 |
Kurshan R. P., Merritt M., Orda A., Sachs S. R. |
|
|
|
Lecture Notes in Computer Science |
27.07.1995 |
|
СТ |
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 |
|
СТ |
Benign Failure Models for Shared Memory |
1993 |
Afek Y., Merritt M., Taubenfeld G. |
|
|
|
Lecture Notes in Computer Science |
28.10.1993 |
|
СТ |
A Structural Linearization Principle for Processes |
1993 |
Kurshan R. P., Merritt M., Orda A., Sachs S. R. |
|
|
|
Lecture Notes in Computer Science |
20.08.1993 |
|
СТ |
Lazy Caching |
1993 |
Afek Y., Brown G., Merritt M. |
|
|
|
ACM Trans. Programming Languages and Systems |
16.03.1993 |
|
СТ |
On the Correctness of Orphan Management Algorithms |
1992 |
Herlihy M., Lynch N., Merritt M., Weihl W. |
|
|
|
J. of the ACM |
10.12.1992 |
|
СТ |
Easy Impossibility Proofs for Distributed Consensus Problems |
1990 |
Fisher M., Lynch N., Merritt M. |
|
|
|
Lecture Notes in Computer Science |
12.02.1991 |
