| 1987 | A Hierarchy of Temporal Properties (Abstract). Zohar Manna, Amir Pnueli |
| 1987 | A Little Knowledge Goes a Long Way: Simple Knowledge-based Derivations and Correctness Proofs for a Family of Protocols. Joseph Y. Halpern |
| 1987 | A Protocol for Wait-Free, Atomic, Multi-Reader Shared Variables. Richard E. Newman-Wolfe |
| 1987 | Achieving Independence in Logarithmic Number of Rounds. Benny Chor, Michael O. Rabin |
| 1987 | An Optimal Synchronizer for the Hypercube. David Peleg, Jeffrey D. Ullman |
| 1987 | Asynchronous Approximate Agreement. Alan David Fekete |
| 1987 | Avoiding The State Explosion Problem in Temporal Logic Model Checking. Edmund M. Clarke, Orna Grumberg |
| 1987 | Constructing Multi-reader Atomic Values From Non-atomic Values. James E. Burns, Gary L. Peterson |
| 1987 | Constructing Two-Writer Atomic Registers. Bard Bloom |
| 1987 | Detecting Global Termination Conditions in the Face of Uncertainty. Yehuda Afek, Michael E. Saks |
| 1987 | Detection of Stable Properties in Distributed Applications. Jean-Michel Hélary, Claude Jard, Noël Plouzeau, Michel Raynal |
| 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 | Fault-Tolerant Decision Making in Totally Asynchronous Distributed Systems (Preliminary Version). Michael F. Bridgland, Ronald J. Watro |
| 1987 | Hierarchical Correctness Proofs for Distributed Algorithms. Nancy A. Lynch, Mark R. Tuttle |
| 1987 | Interleaving Set Temporal Logic (Preliminary Version). Shmuel Katz, Doron A. Peled |
| 1987 | Modular Verification of Asynchronous Networks. Bengt Jonsson |
| 1987 | On Processor Coordination Using Asynchronous Hardware. Benny Chor, Amos Israeli, Ming Li |
| 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 | Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, August 10-12, 1987 Fred B. Schneider |
| 1987 | Quorum Consensus in Nested Transaction Systems. Kenneth J. Goldman, Nancy A. Lynch |
| 1987 | Shifting Gears: Changing Algorithms on the Fly To Expedite Byzantine Agreement. Amotz Bar-Noy, Danny Dolev, Cynthia Dwork, H. Raymond Strong |
| 1987 | Specifying Graceful Degradation in Distributed Systems. Maurice Herlihy, Jeannette M. Wing |
| 1987 | Specifying Message Passing Systems Requires Extending Temporal Logic. Ron Koymans |
| 1987 | Substituting for Real Time and Common Knowledge in Asynchronous Distributed Systems. Gil Neiger, Sam Toueg |
| 1987 | The Elusive Atomic Register Revisited. Ambuj K. Singh, James H. Anderson, Mohamed G. Gouda |
| 1987 | Update Propagation in Bakunin Data Networks. Boris Kogan, Hector Garcia-Molina |