PODC A*

31 papers

YearTitle / Authors
1982A Distributed Algorithm for Detecting Resource Deadlocks in Distributed Systems.
K. Mani Chandy, Jayadev Misra
1982A Distributed Transaction Processing Protocol Based on Majority Consensus.
Helmut Breitwieser, M. Leszak
1982A Multi-Version Concurrency Scheme With No Rollbacks.
Abraham Silberschatz
1982A Refinement of Kahn's Semantic to Handle Non-Determinism and Communication (Extended Abstract).
Ralph-Johan Back, Heikki Mannila
1982ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Ottawa, Canada, August 18-20, 1982
Robert L. Probert, Michael J. Fischer, Nicola Santoro
1982Bounds on Information Exchange for Byzantine Agreement.
Danny Dolev, Rüdiger Reischuk
1982Can Message Buffers be Characterized in Linear Temporal Logic?
A. Prasad Sistla, Edmund M. Clarke, Nissim Francez, Yuri Gurevich
1982Concurrency Control Algorithms for Multiversion Database Systems.
Philip A. Bernstein, Nathan Goodman
1982Distributed Allocation with Pools of Servers.
Gregory R. Andrews, David P. Dobkin, Peter J. Downey
1982Distributed Communication via Global Buffer.
David Gelernter, Arthur J. Bernstein
1982Distributed Multi-Destination Routing: The Constraints of Local Information.
Jeffrey M. Jaffe
1982Dynamic Systems and Their Distributed Termination.
Shimon Cohen, Daniel Lehmann
1982Edge Locks and Deadlock Avoidance in Distributed Systems.
Henry F. Korth
1982Efficient Schemes for Parallel Communication.
Eli Upfal
1982Finding Safe Paths in a Faulty Environment.
Danny Dolev, José Meseguer, Marshall C. Pease
1982Folding and Unrolling Systolic Arrays (Preliminary Version).
Karel Culík II, Jan K. Pachl
1982Four Combinators for Concurrency.
Robin Milner
1982Language Concepts for Distributed Processing of Large Arrays.
Piyush Mehrotra, Terrence W. Pratt
1982Language Constructs and Support Systems for Distributed Computing.
Carla Schlatter Ellis, Jerome A. Feldman, James E. Heliotis
1982N-Processors Graph Distributively Achieve Perfect Matchings in O(log
Eli Shamir, Eli Upfal
1982On Parallel Searching (Extended Abstract).
Marc Snir
1982On Serializability of Iterated Transactions.
Marie-Paule Flé, Gérard Roucairol
1982On the Distribution of an Assertion.
Osvaldo Carvalho, Gérard Roucairol
1982On-the-fly Deadlock Prevention.
Gregory R. Andrews, Gary Levin
1982Proving Safety and Liveness of Communicating Processes with Examples.
Jayadev Misra, K. Mani Chandy, Todd Smith
1982Randomized Parallel Communication (Preliminary Version).
Romas Aleliunas
1982Real Time Resource Allocation in Distributed Systems.
John H. Reif, Paul G. Spirakis
1982Testing Incomplete Specifications of Distributed Systems.
Pamela Zave
1982UIDS as Internal Names in a Distributed File System.
Paul J. Leach, Bernard L. Stumpf, James A. Hamilton, Paul H. Levine
1982Understanding and Using Asynchronous Message Passing (Preliminary Version).
Richard D. Schlichting, Fred B. Schneider
1982Why Control of the Concurrency Level in Distributed Systems is More Fundamental Than Deadlock Management.
R. Balter, P. Berard, Paul Decitre