5. PODC 1986:
Calgary, Alberta, Canada
Proceedings of the Fifth Annual ACM Symposium on Princiles of Distributed Computing,
August 11-13,
1986,
Calgary,
Alberta,
Canada. ACM ISBN 0-89791-198-9
- Butler W. Lampson:
Designing a Global Name Service.
1-10 BibTeX
- Nancy A. Lynch, Barbara T. Blaustein, Michael Siegel:
Correctness Conditions for Highly Available Replicated Databases.
11-28 BibTeX
- Barbara Liskov, Rivka Ladin:
Highly-Available Distributed Service and Fault-Tolerant Distributed Garbage Collection.
29-39 BibTeX
- Brian A. Coan, Jennifer Lundelius:
Transaction Commit in a Realistic Fault Model.
40-51 BibTeX
- Josh Cohen Benaloh, Moti Yung:
Distributing the Power of a Government to Enhance the Privacy of Voters (Extended Abstract).
52-62 BibTeX
- Brian A. Coan:
A Communication-Efficient Canonical Form for Fault-Tolerant Distributed Protocols.
63-72 BibTeX
- Alan David Fekete:
Asymptotically Optimal Algorithms For Approximale Agreement.
73-87 BibTeX
- Greg N. Frederickson, Ravi Janardan:
Optimal Message Routing without Complete Routing Tables (preliminary version).
88-97 BibTeX
- David Peleg, Barbara Simons:
On Fault Tolerant Routings in General Networks.
98-107 BibTeX
- Robert J. Fowler:
The Complexity of Using Forwarding Addresses for Decentralized Object Finding.
108-120 BibTeX
- Simon M. Kaplan, Gail E. Kaiser:
Incremental Attribute Evaluation in Distributed Language-Based Environments.
121-130 BibTeX
- Shlomo Moran, Manfred K. Warmuth:
Gap Theorems for Distributed Computation.
131-140 BibTeX
- Yishay Mansour, Shmuel Zaks:
On the Bit Complexity of Distributed Computations in a Ring with a Leader.
151-160 BibTeX
- Karl R. Abrahamson, Andrew Adler, Lisa Higham, David G. Kirkpatrick:
Probabilistic Solitude Verification on a Ring.
161-173 BibTeX
- Oded Goldreich, Liuba Shrira:
The Effect of Link Failures on Computations in Asynchronous Rings.
174-185 BibTeX
- Brian A. Coan, Brian M. Oki, Elliot K. Kolodner:
Limitations on Database Availability when Networks Partition.
187-194 BibTeX
- Daniel Barbará, Hector Garcia-Molina, Annemarie Spauster:
Protocols for Dynamic Vote Reassignment.
195-205 BibTeX
- Maurice Herlihy:
Optimistic Concurrency Control for Abstract Data Types.
206-217 BibTeX
- Clyde P. Kruskal, Larry Rudolph, Marc Snir:
Efficient Synchronization on Multiprocessors with Shared Memory.
218-228 BibTeX
- Kai Li, Paul Hudak:
Memory Coherence in Shared Virtual Memory Systems.
229-239 BibTeX
- Edmund M. Clarke, Orna Grumberg, Michael C. Browne:
Reasoning About Networks With Many Identical Finite-State Processes.
240-248 BibTeX
- Shmuel Katz, Gadi Taubenfeld:
What Processes Know: Definitions and Proof Methods (Preliminary Version).
249-262 BibTeX
- Foto N. Afrati, Christos H. Papadimitriou, Georgios I. Papadimitriou:
The Synthesis of Communication Protocols.
263-271 BibTeX
- Yukon Chang, Janos Simon:
Continous Routing and Batch Routing on the Hypercube.
272-281 BibTeX
- Baruch Schieber, Shlomo Moran:
Slowing Sequential Algorithms for Obtaining Fast Distributed and Parallel Algorithms: Maximum Matchings.
282-292 BibTeX
Copyright © Sat May 16 23:33:35 2009
by Michael Ley (ley@uni-trier.de)