| 1989 | A Hundred Impossibility Proofs for Distributed Computing. | Nancy A. Lynch |
| 1989 | A Structural Induction Theorem for Processes. | Robert P. Kurshan, Kenneth L. McMillan |
| 1989 | Efficient Parallel Algorithms Can Be Made Robust. | Paris C. Kanellakis, Alexander A. Shvartsman |
| 1989 | A Predicate Transformer Approach to Semantics of Parallel Programs. | Charanjit S. Jutla, Edgar Knapp, Josyula R. Rao |
| 1989 | Fast Isolation of Arbitrary Forwarding Faults. | Amir Herzberg, Shay Kutten |
| 1989 | Knowledge, Probability, and Adversaries. | Joseph Y. Halpern, Mark R. Tuttle |
| 1989 | Source to Destination Communication in the Presence of Faults. | Oded Goldreich, Amir Herzberg, Yishay Mansour |
| 1989 | Modular Construction of Nearly Optimal Byzantine Agreement Protocols. | Brian A. Coan, Jennifer L. Welch |
| 1989 | The Ambiguity of Choosing. | James E. Burns, Gary L. Peterson |
| 1989 | Multiple Communication in Multi-Hop Radio Networks. | Reuven Bar-Yehuda, Amos Israeli |
| 1989 | Shared-Memory vs. Message-Passing in an Asynchronous Distributed Environment. | Amotz Bar-Noy, Danny Dolev |
| 1989 | Non-Cryptographic Fault-Tolerant Computing in Constant Number of Rounds of Interaction. | Judit Bar-Ilan, Donald Beaver |
| 1989 | Bounded Polynomial Randomized Consensus. | Hagit Attiya, Danny Dolev, Nir Shavit |
| 1989 | Efficient Solution to the Distributed Mutual Exclusion Problem. | Divyakant Agrawal, Amr El Abbadi |
| 1988 | Computing on an Anonymous Network. | Masafumi Yamashita, Tiko Kameda |
| 1988 | A Lattice-Structured Proof of a Minimum Spanning. | Jennifer L. Welch, Leslie Lamport, Nancy A. Lynch |
| 1988 | Improved Algorithms for Distributed Resource Allocation. | Eugene Styer, Gary L. Peterson |
| 1988 | Detecting Stable Properties of Networks in Concurrent Logic Programming Languages. | Vijay A. Saraswat, Kenneth M. Kahn, David Weinbaum |
| 1988 | Concurrent Common Knowledge: A New Definition of Agreement for Asynchronous Systems. | Prakash Panangaden, Kim Taylor |
| 1988 | Viewstamped Replication: A General Primary Copy. | Brian M. Oki, Barbara Liskov |
| 1988 | Process Semantics: Universal Axioms Compositional Rules, and Applications. | Van Vicious Nguyen, Robert E. Strom |
| 1988 | Automatically Increasing the Fault-Tolerance of Distributed Systems. | Gil Neiger, Sam Toueg |
| 1988 | Data Link Layer: Two Impossibility Results. | Nancy A. Lynch, Yishay Mansour, Alan D. Fekete |
| 1988 | Recovery in Distributed Systems Using Asynchronous Message Logging and Checkpointing. | David B. Johnson, Willy Zwaenepoel |
| 1988 | Secure and Verifiable Schemes for Election and General Distributed Computing Problems. | Ming-Deh A. Huang, Shang-Hua Teng |