1. PODC 1982: Ottawa, Canada

ACM SIGACT-SIGOPS Symposium on Princiles of Distributed Computing, August 18-20, 1982, Ottawa, Canada. ACM, ISBN 0-89791-081-8

Session 1

Carla Schlatter Ellis, Jerome A. Feldman, James E. Heliotis: Language Constructs and Support Systems for Distributed Computing. 1-9 BibTeX
David Gelernter, Arthur J. Bernstein: Distributed Communication via Global Buffer. 10-18 BibTeX
Piyush Mehrotra, Terrence W. Pratt: Language Concepts for Distributed Processing of Large Arrays. 19-28 BibTeX
Shimon Cohen, Daniel J. Lehmann: Dynamic Systems and Their Distributed Termination. 29-33 BibTeX
Paul J. Leach, Bernard L. Stumpf, James A. Hamilton, Paul H. Levine: UIDS as Internal Names in a Distributed File System. 34-41 BibTeX
Pamela Zave: Testing Incomplete Specifications of Distributed Systems. 42-48 BibTeX

Jeffrey M. Jaffe: Distributed Multi-Destination Routing: The Constraints of Local Information. 49-54 BibTeX
Eli Upfal: Efficient Schemes for Parallel Communication. 55-59 BibTeX
Romas Aleliunas: Randomized Parallel Communication (Preliminary Version). 60-72 BibTeX
Gregory R. Andrews, David P. Dobkin, Peter J. Downey: Distributed Allocation with Pools of Servers. 73-83 BibTeX
John H. Reif, Paul G. Spirakis: Real Time Resource Allocation in Distributed Systems. 84-94 BibTeX
Danny Dolev, José Meseguer, Marshall C. Pease: Finding Safe Paths in a Faulty Environment. 95-103 BibTeX

Robin Milner: Four Combinators for Concurrency. 104-110 BibTeX
Ralph-Johan Back, Heikki Mannila: A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract). 111-120 BibTeX
Osvaldo Carvalho, Gérard Roucairol: On the Distribution of an Assertion. 121-131 BibTeX
Danny Dolev, Rüdiger Reischuk: Bounds on Information Exchange for Byzantine Agreement. 132-140 BibTeX
Richard D. Schlichting, Fred B. Schneider: Understanding and Using Asynchronous Message Passing (Preliminary Version). 141-147 BibTeX
A. Prasad Sistla, Edmund M. Clarke, Nissim Francez, Yuri Gurevich: Can Message Buffers be Characterized in Linear Temporal Logic? 148-156 BibTeX

K. Mani Chandy, Jayadev Misra: A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems. 157-164 BibTeX
Gregory R. Andrews, Gary Levin: On-the-fly Deadlock Prevention. 165-172 BibTeX
Henry F. Korth: Edge Locks and Deadlock Avoidance in Distributed Systems. 173-182 BibTeX
R. Balter, P. Berard, Paul Decitre: Why Control of the Concurrency Level in Distributed Systems is More Fundamental Than Deadlock Management. 183-193 BibTeX
Marie-Paule Flé, Gérard Roucairol: On Serializability of Iterated Transactions. 194-200 BibTeX
Jayadev Misra, K. Mani Chandy, Todd Smith: Proving Safety and Liveness of Communicating Processes with Examples. 201-208 BibTeX

Arthur J. Bernstein, Nathan Goodman: Concurrency Control Algorithms for Multiversion Database Systems. 209-215 BibTeX
Abraham Silberschatz: A Multi-Version Concurrency Scheme With No Rollbacks. 216-223 BibTeX
H. Breitwieser, M. Leszak: A Distributed Transaction Processing Protocol Based on Majority Consensus. 224-237 BibTeX
Eli Shamir, Eli Upfal: N-Processors Graph Distributively Achieve Perfect Matchings in O(log²N) Beats. 238-241 BibTeX
Marc Snir: On Parallel Searching (Extended Abstract). 242-253 BibTeX
Karel Culik II, Jan K. Pachl: Folding and Unrolling Systolic Arrays (Preliminary Version). 254-261 BibTeX