3. PODC 1984: Vancouver, B. C., Canada

Proceedings of the Third Annual ACM Symposium on Princiles of Distributed Computing, Vancouver, B. C., Canada, August 27-29, 1984. ACM, ISBN 0-89791-143-1

Leslie Lamport: Solved Problems, Unsolved Problems and Non-Problems in Concurrency (Invited Address). 1-11 BibTeX
Amir Pnueli, Lenore D. Zuck: Verification of Multiprocess Probabilistic Protocols. 12-27 BibTeX
Shlomit S. Pinter, Pierre Wolper: A Temporal Logic for Reasoning about Partially Ordered Computations (Extended Abstract). 28-37 BibTeX
Mohamed G. Gouda, Chung-Kuo Chang: A Technique for Proving Liveness of Communicating Finite State Machines with Examples. 38-49 BibTeX
Joseph Y. Halpern, Yoram Moses: Knowledge and Common Knowledge in a Distributed Environment. 50-61 BibTeX
Daniel J. Lehmann: Knowledge, Common Knowledge and related puzzles (Extended Summary). 62-67 BibTeX
Leslie Lamport, P. M. Melliar-Smith: Byzantine Clock Synchronization. 68-74 BibTeX
Jennifer Lundelius, Nancy A. Lynch: A New Fault-Tolerant Algorithm for Clock Synchronization. 75-88 BibTeX
Joseph Y. Halpern, Barbara Simons, H. Raymond Strong, Danny Dolev: Fault-Tolerant Clock Synchronization. 89-102 BibTeX
Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer: Consensus in the Presence of Partial Synchrony (Preliminary Version). 103-118 BibTeX
Chagit Attiya, Danny Dolev, Joseph Gil: Asynchronous Byzantine Consensus. 119-133 BibTeX
Michael Merritt: Elections in the Presence of Faults. 134-142 BibTeX
Cynthia Dwork, Dale Skeen: Patterns of Communication in Consensus Protocols. 143-153 BibTeX
Gabriel Bracha: An Asynchronou [(n-1)/3]-Resilient Consensus Protocol. 154-162 BibTeX
Sam Toueg: Randomized Byzantine Agreements. 163-178 BibTeX
Faith E. Fich, Prabhakar Ragde, Avi Wigderson: Relations Between Concurrent-Write Models of Parallel Computation. 179-189 BibTeX
Eli Gafni, Yehuda Afek: Election and Traversal in Unidirectional Networks. 190-198 BibTeX
Ephraim Korach, Shlomo Moran, Shmuel Zaks: Tight Lower and Upper Bounds for Some Distributed Algorithms for a Complete Network of Processors. 199-207 BibTeX
Jonathan Kepecs, Marvin H. Solomon: SODA: A Simplified Operating System for Distributed Applications. 208-219 BibTeX
Eric C. Cooper: Replicated Procedure Call. 220-232 BibTeX
Gene T. J. Wuu, Arthur J. Bernstein: Efficient Solutions to the Replicated Log and Dictionart Problems. 233-242 BibTeX
David Jefferson, Andrew Witkowski: An Approach to Performance Analysis of Timestamp-driven Synchronization Mechanisms. 243-253 BibTeX
Orna Grumberg, Nissim Francez, Shmuel Katz: Fail Termination of Communicating Processe. 254-265 BibTeX
A. Prasad Sistla: Distributed Algorithms for Ensuring Fair Interprocess Communications. 266-277 BibTeX
Baruch Awerbuch, Shimon Even: Efficient and Reliable Broadcast is Achievable in an Eventually Connected Network. 278-281 BibTeX
Don P. Mitchell, Michael Merritt: A Distributed Algorithm for Deadlock Detection and Resolution. 282-284 BibTeX
Gabriel Bracha, Sam Toueg: A Distributed Algorithm for Generalized Deadlock Detection. 285-301 BibTeX