| 1989 | A Categorical Approach to Distributed Systems Expressibility and Knowledge. Ruben Michel |
| 1989 | A Hundred Impossibility Proofs for Distributed Computing. Nancy A. Lynch |
| 1989 | A Predicate Transformer Approach to Semantics of Parallel Programs. Charanjit S. Jutla, Edgar Knapp, Josyula R. Rao |
| 1989 | A Structural Induction Theorem for Processes. Robert P. Kurshan, Kenneth L. McMillan |
| 1989 | Bounded Polynomial Randomized Consensus. Hagit Attiya, Danny Dolev, Nir Shavit |
| 1989 | Calling Names in Nameless Networks. Baruch Schieber |
| 1989 | Efficient Distributed Recovery Using Message Logging. A. Prasad Sistla, Jennifer L. Welch |
| 1989 | Efficient Parallel Algorithms Can Be Made Robust. Paris C. Kanellakis, Alexander A. Shvartsman |
| 1989 | Efficient Solution to the Distributed Mutual Exclusion Problem. Divyakant Agrawal, Amr El Abbadi |
| 1989 | Equational Reasoning About Nondeterministic Processes. Jayadev Misra |
| 1989 | Fast Isolation of Arbitrary Forwarding Faults. Amir Herzberg, Shay Kutten |
| 1989 | Knowledge, Probability, and Adversaries. Joseph Y. Halpern, Mark R. Tuttle |
| 1989 | Modular Construction of Nearly Optimal Byzantine Agreement Protocols. Brian A. Coan, Jennifer L. Welch |
| 1989 | Multiple Communication in Multi-Hop Radio Networks. Reuven Bar-Yehuda, Amos Israeli |
| 1989 | Non-Cryptographic Fault-Tolerant Computing in Constant Number of Rounds of Interaction. Judit Bar-Ilan, Donald Beaver |
| 1989 | On Reliable Message Diffusion. Yoram Moses, Gil Roth |
| 1989 | Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency. Job Zwiers, Willem P. de Roever |
| 1989 | Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, Edmonton, Alberta, Canada, August 14-16, 1989 Piotr Rudnicki |
| 1989 | Shared-Memory vs. Message-Passing in an Asynchronous Distributed Environment. Amotz Bar-Noy, Danny Dolev |
| 1989 | Source to Destination Communication in the Presence of Faults. Oded Goldreich, Amir Herzberg, Yishay Mansour |
| 1989 | Sticky Bits and Universality of Consensus. Serge A. Plotkin |
| 1989 | The Ambiguity of Choosing. James E. Burns, Gary L. Peterson |
| 1989 | The Intractability of Bounded Protocols for Non-FIFO Channels. Yishay Mansour, Baruch Schieber |
| 1989 | Tight Bounds for Shared Memory Symmetric Mutual Exclusion Problems. Eugene Styer, Gary L. Peterson |
| 1989 | Tight Bounds for the Sequence Transmission Problem. Da-Wei Wang, Lenore D. Zuck |
| 1989 | Towards Dataflow Analysis of Communicating Finite State Machines. Wuxu Peng, S. Purushothaman |
| 1988 | Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, Toronto, Ontario, Canada, August 15-17, 1988 Danny Dolev |