Conferences in DBLP

ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC) (podc)
1984 (conf/podc/84)

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