| 1985 | A Formal Model of Knowledge, Action, and Communication in Distributed Systems: Preliminary Report. Joseph Y. Halpern, Ronald Fagin |
| 1985 | A Model and Proof System for Asynchronous Networks. Bengt Jonsson |
| 1985 | A Modular Technique for the Design of Efficient Distributed Leader Finding Algorithms. Ephraim Korach, Shay Kutten, Shlomo Moran |
| 1985 | A Provably Secure Polynomial Approximation Scheme for the Distributed Lottery Problem (Extended Abstract). Andrei Z. Broder |
| 1985 | Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version). Yoram Moses, Danny Dolev, Joseph Y. Halpern |
| 1985 | Choice Coordination with Bounded Failure (a Preliminary Version). Amotz Bar-Noy, Michael Ben-Or, Danny Dolev |
| 1985 | Communication-Time Trade-Offs in Network Synchronization. Baruch Awerbuch |
| 1985 | Comparing How Atomicity Mechanisms Support Replication. Maurice Herlihy |
| 1985 | Computing on an Anonymous Ring. Chagit Attiya, Marc Snir, Manfred K. Warmuth |
| 1985 | Concurrent Programming For The Masses (PODC 1984 Invited Address). K. Mani Chandy |
| 1985 | Distributed Match-Making for Processes in Computer Networks (Preliminary Version). Sape J. Mullender, Paul M. B. Vitányi |
| 1985 | Distributed Version Management for Read-Only Actions (Extended Abstract). William E. Weihl |
| 1985 | Easy Impossibility Proofs for Distributed Consensus Problems. Michael J. Fischer, Nancy A. Lynch, Michael Merritt |
| 1985 | Fast Asynchronous Byzantine Agreement (Extended Abstract). Michael Ben-Or |
| 1985 | Fast Distributed Agreement (Preliminary Version). Sam Toueg, Kenneth J. Perry, T. K. Srikanth |
| 1985 | How Processes Learn. K. Mani Chandy, Jayadev Misra |
| 1985 | Improvements in the Time Complexity of Two Message-Optimal Election Algorithms. Eli Gafni |
| 1985 | Inexact Agreement: Accuracy, Precision, and Graceful Degradation. Stephen R. Mahaney, Fred B. Schneider |
| 1985 | On Characterization of Safety and Liveness Properties in Temporal Logic. A. Prasad Sistla |
| 1985 | On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes. Paris C. Kanellakis, Scott A. Smolka |
| 1985 | Optimal Clock Synchronization. T. K. Srikanth, Sam Toueg |
| 1985 | Parallel Arithmetic with Concurrent Writes. Alon Itai |
| 1985 | Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, Minaki, Ontario, Canada, August 5-7, 1985 Michael A. Malcolm, H. Raymond Strong |
| 1985 | Simple Constant-Time Consensus Protocols in Realistic Failure Models (Extended Abstract). Benny Chor, Michael Merritt, David B. Shmoys |
| 1985 | Simple, Efficient Asynchronous Parallel Algorithms for Maximization. Albert G. Greenberg, Boris D. Lubachevsky, Andrew M. Odlyzko |
| 1985 | Site Optimal Termination Protocols for a Distributed Database under Network Partitioning. David Wai-Lok Cheung, Tiko Kameda |
| 1985 | Symmetry and Similarity in Distributed Systems. Ralph E. Johnson, Fred B. Schneider |
| 1985 | Terminating Iterative Solution of Simultaneous Equations in Distributed Message Passing Systems. Boleslaw K. Szymanski, Yuan Shi, Noah S. Prywes |
| 1985 | The Optimality of Distributed Constructions of Minimum Weigth and Degree Restricted Spanning Trees in a Complete Network of Processors. Ephraim Korach, Shlomo Moran, Shmuel Zaks |
| 1985 | Time and Message Bounds of Election in Synchronous and Asynchronous Complete Networks. Yehuda Afek, Eli Gafni |
| 1985 | Towards a Universal Directory Service. Keith A. Lantz, Judy L. Edighoffer, Bruce L. Hitson |