3 | -- | 19 | Ishai Ben-Aroya, Tamar Eilam, Assaf Schuster. Greedy Hot-Potato Routing on the Two-Dimensional Mesh |
21 | -- | 36 | Wim H. Hesselink. Wait-Free Linearization with a Mechanical Proof |
37 | -- | 49 | Mustaque Ahamad, Gil Neiger, James E. Burns, Prince Kohli, Phillip W. Hutto. Causal Memory: Definitions, Implementation, and Programming |
51 | -- | 60 | Jae-Heon Yang, James H. Anderson. A Fast, Scalable Mutual Exclusion Algorithm |