6. PODC 1987:
Vancouver, British Columbia, Canada
Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing,
August 10-12, 1987, Vancouver, British Columbia, Canada. ACM ISBN 0-89791-239-4
- Alan J. Demers, Daniel H. Greene, Carl Hauser, Wes Irish, John Larson, Scott Shenker, Howard E. Sturgis, Daniel C. Swinehart, Douglas B. Terry:
Epidemic Algorithms for Replicated Database Maintenance.
1-12 BibTeX
- Boris Kogan, Hector Garcia-Molina:
Update Propagation in Bakunin Data Networks.
13-26 BibTeX
- Kenneth J. Goldman, Nancy A. Lynch:
Quorum Consensus in Nested Transaction Systems.
27-41 BibTeX
- Amotz Bar-Noy, Danny Dolev, Cynthia Dwork, H. Raymond Strong:
Shifting Gears: Changing Algorithms on the Fly To Expedite Byzantine Agreement.
42-51 BibTeX
- Michael F. Bridgland, Ronald J. Watro:
Fault-Tolerant Decision Making in Totally Asynchronous Distributed Systems (Preliminary Version).
52-63 BibTeX
- Alan David Fekete:
Asynchronous Approximate Agreement.
64-76 BibTeX
- David Peleg, Jeffrey D. Ullman:
An Optimal Synchronizer for the Hypercube.
77-85 BibTeX
- Benny Chor, Amos Israeli, Ming Li:
On Processor Coordination Using Asynchronous Hardware.
86-97 BibTeX
- Reuven Bar-Yehuda, Oded Goldreich, Alon Itai:
On the Time-Complexity of Broadcast in Radio Networks: An Exponential Gap Between Determinism and Randomization.
98-108 BibTeX
- Yehuda Afek, Michael E. Saks:
Detecting Global Termination Conditions in the Face of Uncertainty.
109-124 BibTeX
- Jean-Michel Hélary, Claude Jard, Noël Plouzeau, Michel Raynal:
Detection of Stable Properties in Distributed Applications.
125-136 BibTeX
- Nancy A. Lynch, Mark R. Tuttle:
Hierarchical Correctness Proofs for Distributed Algorithms.
137-151 BibTeX
- Bengt Jonsson:
Modular Verification of Asynchronous Networks.
152-166 BibTeX
- Maurice Herlihy, Jeannette M. Wing:
Specifying Graceful Degradation in Distributed Systems.
167-177 BibTeX
- Shmuel Katz, Doron Peled:
Interleaving Set Temporal Logic (Preliminary Version).
178-190 BibTeX
- Ron Koymans:
Specifying Message Passing Systems Requires Extending Temporal Logic.
191-204 BibTeX
- Zohar Manna, Amir Pnueli:
A Hierarchy of Temporal Properties (Abstract).
205 BibTeX
- Ambuj K. Singh, James H. Anderson, Mohamed G. Gouda:
The Elusive Atomic Register Revisited.
206-221 BibTeX
- James E. Burns, Gary L. Peterson:
Constructing Multi-reader Atomic Values From Non-atomic Values.
222-231 BibTeX
- Richard E. Newman-Wolfe:
A Protocol for Wait-Free, Atomic, Multi-Reader Shared Variables.
232-248 BibTeX
- Bard Bloom:
Constructing Two-Writer Atomic Registers.
249-259 BibTeX
- Benny Chor, Michael O. Rabin:
Achieving Independence in Logarithmic Number of Rounds.
260-268 BibTeX
- Joseph Y. Halpern:
A Little Knowledge Goes a Long Way: Simple Knowledge-based Derivations and Correctness Proofs for a Family of Protocols.
269-280 BibTeX
- Gil Neiger, Sam Toueg:
Substituting for Real Time and Common Knowledge in Asynchronous Distributed Systems.
281-293 BibTeX
- Edmund M. Clarke, Orna Grumberg:
Avoiding The State Explosion Problem in Temporal Logic Model Checking.
294-303 BibTeX
Copyright © Sat May 16 23:33:35 2009
by Michael Ley (ley@uni-trier.de)
