| 2001 | An improved lower bound for the time complexity of mutual exclusion. | James H. Anderson, Yong-Jik Kim |
| 2001 | Lamport on mutual exclusion: 27 years of planting seeds. | James H. Anderson |
| 2001 | Leslie Lamport's properties and actions. | Martn Abadi |
| 2000 | Distributed reconfigurtion of metamorphic robot chains. | Jennifer E. Walter, Jennifer L. Welch, Nancy M. Amato |
| 2000 | A verification technique for self-stabilizing algorithms based on Ljapunov's "Second Method" (brief announcement). | Oliver E. Theel |
| 2000 | High performance adaptive middleware for CORBA-based systems. | E-Kai Shen, Shikharesh Majumdar, Istabrak Abdul-Fatah |
| 2000 | p | Rainer Ruggaber, Jochen Seitz, Michael Knapp |
| 2000 | Self-stabilizing token circulation on asynchronous uniform unidirectional rings. | Laurent Rosaz |
| 2000 | Data communications vs. distributed computing (abstract). | Craig Partridge |
| 2000 | A middleware overview: goals, research issues, and coded examples (abstract). | Michael Ogg |
| 2000 | Garbage collection of timestamped data in Stampede. | Rishiyur S. Nikhil, Umakishore Ramachandran |
| 2000 | k-set agreement with limited accuracy failure detectors. | Achour Mostfaoui, Michel Raynal |
| 2000 | Laziness pays! using lazy synchronization mechanisms to improve non-blocking constructions. | Mark Moir |
| 2000 | Debugging distributed programs using controlled re-execution. | Neeraj Mittal, Vijay K. Garg |
| 2000 | Optimal smoothing schedules for real-time streams (extended abstract). | Yishay Mansour, Boaz Patt-Shamir, Ofer Lapid |
| 2000 | Distributed cooperation in the absence of communication (brief announcement). | Grzegorz Malewicz, Alexander Russell, Alexander A. Shvartsman |
| 2000 | Efficient generation of all regular non-dominated coteries. | Kazuhisa Makino, Tiko Kameda |
| 2000 | Average-case analysis of greedy packet scheduling (extended astract). | Zvi Lotker, Boaz Patt-Shamir |
| 2000 | Fast protocol transition in a distributed environment (brief announcement). | Xiaoming Liu, Robbert van Renesse |
| 2000 | Specification, implementation and application of randomized regular registers (brief announcement). | Hyunyoung Lee, Jennifer L. Welch |
| 2000 | Optimal implementation of the weakest failure detector for solving consensus (brief announcement). | Mikel Larrea, Antonio Fernndez, Sergio Arvalo |
| 2000 | Distributed algorithms in TLA (abstract). | Leslie Lamport |
| 2000 | Deterministic distributed resource discovery (brief announcement). | Shay Kutten, David Peleg |
| 2000 | Memory consistency and process coordination for SPARC v8 multiprocessors (brief announcement). | Jalal Kawash, Lisa Higham |
| 2000 | Average probe complexity of non-dominated coteries (brief announcement). | Tiko Kameda, Feng Xiao, Malika Mahoui-Guerni |