| 1988 | Impossibility and Universality Results for Wait-Free Synchronization. | Maurice Herlihy |
| 1988 | Fault Tolerant Distributed Services. | Allan D. Griefer, H. Raymond Strong |
| 1988 | The Cost of Messages. | Jim Gray |
| 1988 | End-to-End Communication in Unreliable Networks. | Eli Gafni, Yehuda Afek |
| 1988 | New Models and Algorithms for Future Networks. | Israel Cidon, Inder S. Gopal, Shay Kutten |
| 1988 | Understanding and Verifying Distributed Algorithms Using Stratified Decomposition. | Ching-Tsun Chou, Eli Gafni |
| 1988 | A Combinatorial Characterization of the Distributed Tasks Which Are Solvable in the Presence of One Faulty Processor. | Ofer Biran, Shlomo Moran, Shmuel Zaks |
| 1988 | The Global Time Assumption and Semantics for Concurrent Systems. | Shai Ben-David |
| 1988 | One Bit Algorithms. | Amotz Bar-Noy, Joseph Naor, Moni Naor |
| 1988 | The Power of Multimedia: Combining Point-to Point and Multi-Access Networks. | Yehuda Afek, Gad M. Landau, Baruch Schieber, Moti Yung |
| 1988 | On Achieving Consensus Using a Shared Memory. | Karl R. Abrahamson |
| 1987 | The Elusive Atomic Register Revisited. | Ambuj K. Singh, James H. Anderson, Mohamed G. Gouda |
| 1987 | An Optimal Synchronizer for the Hypercube. | David Peleg, Jeffrey D. Ullman |
| 1987 | A Protocol for Wait-Free, Atomic, Multi-Reader Shared Variables. | Richard E. Newman-Wolfe |
| 1987 | Substituting for Real Time and Common Knowledge in Asynchronous Distributed Systems. | Gil Neiger, Sam Toueg |
| 1987 | A Hierarchy of Temporal Properties (Abstract). | Zohar Manna, Amir Pnueli |
| 1987 | Hierarchical Correctness Proofs for Distributed Algorithms. | Nancy A. Lynch, Mark R. Tuttle |
| 1987 | Specifying Message Passing Systems Requires Extending Temporal Logic. | Ron Koymans |
| 1987 | Update Propagation in Bakunin Data Networks. | Boris Kogan, Hector Garcia-Molina |
| 1987 | Interleaving Set Temporal Logic (Preliminary Version). | Shmuel Katz, Doron A. Peled |
| 1987 | Modular Verification of Asynchronous Networks. | Bengt Jonsson |
| 1987 | Specifying Graceful Degradation in Distributed Systems. | Maurice Herlihy, Jeannette M. Wing |
| 1987 | Detection of Stable Properties in Distributed Applications. | Jean-Michel Hlary, Claude Jard, Nol Plouzeau, Michel Raynal |
| 1987 | A Little Knowledge Goes a Long Way: Simple Knowledge-based Derivations and Correctness Proofs for a Family of Protocols. | Joseph Y. Halpern |
| 1987 | Quorum Consensus in Nested Transaction Systems. | Kenneth J. Goldman, Nancy A. Lynch |