| 1984 | A Distributed Algorithm for Deadlock Detection and Resolution. Don P. Mitchell, Michael Merritt |
| 1984 | A Distributed Algorithm for Generalized Deadlock Detection. Gabriel Bracha, Sam Toueg |
| 1984 | A New Fault-Tolerant Algorithm for Clock Synchronization. Jennifer Lundelius, Nancy A. Lynch |
| 1984 | A Technique for Proving Liveness of Communicating Finite State Machines with Examples. Mohamed G. Gouda, Chung-Kuo Chang |
| 1984 | A Temporal Logic for Reasoning about Partially Ordered Computations (Extended Abstract). Shlomit S. Pinter, Pierre Wolper |
| 1984 | An Approach to Performance Analysis of Timestamp-driven Synchronization Mechanisms. David Jefferson, Andrew Witkowski |
| 1984 | An Asynchronou [(n-1)/3]-Resilient Consensus Protocol. Gabriel Bracha |
| 1984 | Asynchronous Byzantine Consensus. Chagit Attiya, Danny Dolev, Joseph Gil |
| 1984 | Byzantine Clock Synchronization. Leslie Lamport, P. M. Melliar-Smith |
| 1984 | Consensus in the Presence of Partial Synchrony (Preliminary Version). Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer |
| 1984 | Distributed Algorithms for Ensuring Fair Interprocess Communications. A. Prasad Sistla |
| 1984 | Efficient Solutions to the Replicated Log and Dictionart Problems. Gene T. J. Wuu, Arthur J. Bernstein |
| 1984 | Efficient and Reliable Broadcast is Achievable in an Eventually Connected Network. Baruch Awerbuch, Shimon Even |
| 1984 | Election and Traversal in Unidirectional Networks. Eli Gafni, Yehuda Afek |
| 1984 | Elections in the Presence of Faults. Michael Merritt |
| 1984 | Fail Termination of Communicating Processe. Orna Grumberg, Nissim Francez, Shmuel Katz |
| 1984 | Fault-Tolerant Clock Synchronization. Joseph Y. Halpern, Barbara Simons, H. Raymond Strong, Danny Dolev |
| 1984 | Knowledge and Common Knowledge in a Distributed Environment. Joseph Y. Halpern, Yoram Moses |
| 1984 | Knowledge, Common Knowledge and related puzzles (Extended Summary). Daniel Lehmann |
| 1984 | Patterns of Communication in Consensus Protocols. Cynthia Dwork, Dale Skeen |
| 1984 | Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, Vancouver, B. C., Canada, August 27-29, 1984 Tiko Kameda, Jayadev Misra, Joseph G. Peters, Nicola Santoro |
| 1984 | Randomized Byzantine Agreements. Sam Toueg |
| 1984 | Relations Between Concurrent-Write Models of Parallel Computation. Faith E. Fich, Prabhakar Ragde, Avi Wigderson |
| 1984 | Replicated Procedure Call. Eric C. Cooper |
| 1984 | SODA: A Simplified Operating System for Distributed Applications. Jonathan Kepecs, Marvin H. Solomon |
| 1984 | Solved Problems, Unsolved Problems and Non-Problems in Concurrency (Invited Address). Leslie Lamport |
| 1984 | Tight Lower and Upper Bounds for Some Distributed Algorithms for a Complete Network of Processors. Ephraim Korach, Shlomo Moran, Shmuel Zaks |
| 1984 | Verification of Multiprocess Probabilistic Protocols. Amir Pnueli, Lenore D. Zuck |