| 1987 | Asynchronous Approximate Agreement. | Alan David Fekete |
| 1987 | Epidemic Algorithms for Replicated Database Maintenance. | Alan J. Demers, Daniel H. Greene, Carl Hauser, Wes Irish, John Larson, Scott Shenker, Howard E. Sturgis, Daniel C. Swinehart, Douglas B. Terry |
| 1987 | Avoiding The State Explosion Problem in Temporal Logic Model Checking. | Edmund M. Clarke, Orna Grumberg |
| 1987 | Achieving Independence in Logarithmic Number of Rounds. | Benny Chor, Michael O. Rabin |
| 1987 | On Processor Coordination Using Asynchronous Hardware. | Benny Chor, Amos Israeli, Ming Li |
| 1987 | Constructing Multi-reader Atomic Values From Non-atomic Values. | James E. Burns, Gary L. Peterson |
| 1987 | Fault-Tolerant Decision Making in Totally Asynchronous Distributed Systems (Preliminary Version). | Michael F. Bridgland, Ronald J. Watro |
| 1987 | Constructing Two-Writer Atomic Registers. | Bard Bloom |
| 1987 | On the Time-Complexity of Broadcast in Radio Networks: An Exponential Gap Between Determinism and Randomization. | Reuven Bar-Yehuda, Oded Goldreich, Alon Itai |
| 1987 | Shifting Gears: Changing Algorithms on the Fly To Expedite Byzantine Agreement. | Amotz Bar-Noy, Danny Dolev, Cynthia Dwork, H. Raymond Strong |
| 1987 | Detecting Global Termination Conditions in the Face of Uncertainty. | Yehuda Afek, Michael E. Saks |
| 1986 | Slowing Sequential Algorithms for Obtaining Fast Distributed and Parallel Algorithms: Maximum Matchings. | Baruch Schieber, Shlomo Moran |
| 1986 | On Fault Tolerant Routings in General Networks. | David Peleg, Barbara Simons |
| 1986 | Gap Theorems for Distributed Computation. | Shlomo Moran, Manfred K. Warmuth |
| 1986 | On the Bit Complexity of Distributed Computations in a Ring with a Leader. | Yishay Mansour, Shmuel Zaks |
| 1986 | Correctness Conditions for Highly Available Replicated Databases. | Nancy A. Lynch, Barbara T. Blaustein, Michael D. Siegel |
| 1986 | Highly-Available Distributed Services and Fault-Tolerant Distributed Garbage Collection. | Barbara Liskov, Rivka Ladin |
| 1986 | Memory Coherence in Shared Virtual Memory Systems. | Kai Li, Paul Hudak |
| 1986 | Designing a Global Name Service. | Butler W. Lampson |
| 1986 | Efficient Synchronization on Multiprocessors with Shared Memory. | Clyde P. Kruskal, Larry Rudolph, Marc Snir |
| 1986 | What Processes Know: Definitions and Proof Methods (Preliminary Version). | Shmuel Katz, Gadi Taubenfeld |
| 1986 | Incremental Attribute Evaluation in Distributed Language-Based Environments. | Simon M. Kaplan, Gail E. Kaiser |
| 1986 | Optimistic Concurrency Control for Abstract Data Types. | Maurice Herlihy |
| 1986 | The Effect of Link Failures on Computations in Asynchronous Rings. | Oded Goldreich, Liuba Shrira |
| 1986 | Optimal Message Routing without Complete Routing Tables (preliminary version). | Greg N. Frederickson, Ravi Janardan |