Conferences in DBLP

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

1. Carla Schlatter Ellis, Jerome A. Feldman, James E. Heliotis
   Language Constructs and Support Systems for Distributed Computing. [Citation Graph (1, 0)][DBLP]
   PODC, 1982, pp:1-9 [Conf]
   
2. David Gelernter, Arthur J. Bernstein
   Distributed Communication via Global Buffer. [Citation Graph (0, 0)][DBLP]
   PODC, 1982, pp:10-18 [Conf]
   
3. Piyush Mehrotra, Terrence W. Pratt
   Language Concepts for Distributed Processing of Large Arrays. [Citation Graph (0, 0)][DBLP]
   PODC, 1982, pp:19-28 [Conf]
   
4. Shimon Cohen, Daniel J. Lehmann
   Dynamic Systems and Their Distributed Termination. [Citation Graph (2, 0)][DBLP]
   PODC, 1982, pp:29-33 [Conf]
   
5. Paul J. Leach, Bernard L. Stumpf, James A. Hamilton, Paul H. Levine
   UIDS as Internal Names in a Distributed File System. [Citation Graph (0, 0)][DBLP]
   PODC, 1982, pp:34-41 [Conf]
   
6. Pamela Zave
   Testing Incomplete Specifications of Distributed Systems. [Citation Graph (0, 0)][DBLP]
   PODC, 1982, pp:42-48 [Conf]
   
7. Jeffrey M. Jaffe
   Distributed Multi-Destination Routing: The Constraints of Local Information. [Citation Graph (0, 0)][DBLP]
   PODC, 1982, pp:49-54 [Conf]
   
8. Eli Upfal
   Efficient Schemes for Parallel Communication. [Citation Graph (0, 0)][DBLP]
   PODC, 1982, pp:55-59 [Conf]
   
9. Romas Aleliunas
   Randomized Parallel Communication (Preliminary Version). [Citation Graph (0, 0)][DBLP]
   PODC, 1982, pp:60-72 [Conf]
   
10. Gregory R. Andrews, David P. Dobkin, Peter J. Downey
    Distributed Allocation with Pools of Servers. [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:73-83 [Conf]
    
11. John H. Reif, Paul G. Spirakis
    Real Time Resource Allocation in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:84-94 [Conf]
    
12. Danny Dolev, José Meseguer, Marshall C. Pease
    Finding Safe Paths in a Faulty Environment. [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:95-103 [Conf]
    
13. Robin Milner
    Four Combinators for Concurrency. [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:104-110 [Conf]
    
14. Ralph-Johan Back, Heikki Mannila
    A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:111-120 [Conf]
    
15. Osvaldo Carvalho, Gérard Roucairol
    On the Distribution of an Assertion. [Citation Graph (4, 0)][DBLP]
    PODC, 1982, pp:121-131 [Conf]
    
16. Danny Dolev, Rüdiger Reischuk
    Bounds on Information Exchange for Byzantine Agreement. [Citation Graph (1, 0)][DBLP]
    PODC, 1982, pp:132-140 [Conf]
    
17. Richard D. Schlichting, Fred B. Schneider
    Understanding and Using Asynchronous Message Passing (Preliminary Version). [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:141-147 [Conf]
    
18. A. Prasad Sistla, Edmund M. Clarke, Nissim Francez, Yuri Gurevich
    Can Message Buffers be Characterized in Linear Temporal Logic? [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:148-156 [Conf]
    
19. K. Mani Chandy, Jayadev Misra
    A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems. [Citation Graph (9, 0)][DBLP]
    PODC, 1982, pp:157-164 [Conf]
    
20. Gregory R. Andrews, Gary Levin
    On-the-fly Deadlock Prevention. [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:165-172 [Conf]
    
21. Henry F. Korth
    Edge Locks and Deadlock Avoidance in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:173-182 [Conf]
    
22. R. Balter, P. Berard, Paul Decitre
    Why Control of the Concurrency Level in Distributed Systems is More Fundamental Than Deadlock Management. [Citation Graph (14, 0)][DBLP]
    PODC, 1982, pp:183-193 [Conf]
    
23. Marie-Paule Flé, Gérard Roucairol
    On Serializability of Iterated Transactions. [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:194-200 [Conf]
    
24. Jayadev Misra, K. Mani Chandy, Todd Smith
    Proving Safety and Liveness of Communicating Processes with Examples. [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:201-208 [Conf]
    
25. Arthur J. Bernstein, Nathan Goodman
    Concurrency Control Algorithms for Multiversion Database Systems. [Citation Graph (9, 0)][DBLP]
    PODC, 1982, pp:209-215 [Conf]
    
26. Abraham Silberschatz
    A Multi-Version Concurrency Scheme With No Rollbacks. [Citation Graph (4, 0)][DBLP]
    PODC, 1982, pp:216-223 [Conf]
    
27. H. Breitwieser, M. Leszak
    A Distributed Transaction Processing Protocol Based on Majority Consensus. [Citation Graph (2, 0)][DBLP]
    PODC, 1982, pp:224-237 [Conf]
    
28. Eli Shamir, Eli Upfal
    N-Processors Graph Distributively Achieve Perfect Matchings in O(log²N) Beats. [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:238-241 [Conf]
    
29. Marc Snir
    On Parallel Searching (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:242-253 [Conf]
    
30. Karel Culik II, Jan K. Pachl
    Folding and Unrolling Systolic Arrays (Preliminary Version). [Citation Graph (0, 0)][DBLP]
    PODC, 1982, pp:254-261 [Conf]