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
- Boris Kogan, Hector Garcia-Molina:
Update Propagation in Bakunin Data Networks.
13-26
- Kenneth J. Goldman, Nancy A. Lynch:
Quorum Consensus in Nested Transaction Systems.
27-41
- Amotz Bar-Noy, Danny Dolev, Cynthia Dwork, H. Raymond Strong:
Shifting Gears: Changing Algorithms on the Fly To Expedite Byzantine Agreement.
42-51
- Michael F. Bridgland, Ronald J. Watro:
Fault-Tolerant Decision Making in Totally Asynchronous Distributed Systems (Preliminary Version).
52-63
- Alan David Fekete:
Asynchronous Approximate Agreement.
64-76
- David Peleg, Jeffrey D. Ullman:
An Optimal Synchronizer for the Hypercube.
77-85
- Benny Chor, Amos Israeli, Ming Li:
On Processor Coordination Using Asynchronous Hardware.
86-97
- 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
- Yehuda Afek, Michael E. Saks:
Detecting Global Termination Conditions in the Face of Uncertainty.
109-124
- Jean-Michel Hélary, Claude Jard, Noël Plouzeau, Michel Raynal:
Detection of Stable Properties in Distributed Applications.
125-136
- Nancy A. Lynch, Mark R. Tuttle:
Hierarchical Correctness Proofs for Distributed Algorithms.
137-151
- Bengt Jonsson:
Modular Verification of Asynchronous Networks.
152-166
- Maurice Herlihy, Jeannette M. Wing:
Specifying Graceful Degradation in Distributed Systems.
167-177
- Shmuel Katz, Doron Peled:
Interleaving Set Temporal Logic (Preliminary Version).
178-190
- Ron Koymans:
Specifying Message Passing Systems Requires Extending Temporal Logic.
191-204
- Zohar Manna, Amir Pnueli:
A Hierarchy of Temporal Properties (Abstract).
205
- Ambuj K. Singh, James H. Anderson, Mohamed G. Gouda:
The Elusive Atomic Register Revisited.
206-221
- James E. Burns, Gary L. Peterson:
Constructing Multi-reader Atomic Values From Non-atomic Values.
222-231
- Richard E. Newman-Wolfe:
A Protocol for Wait-Free, Atomic, Multi-Reader Shared Variables.
232-248
- Bard Bloom:
Constructing Two-Writer Atomic Registers.
249-259
- Benny Chor, Michael O. Rabin:
Achieving Independence in Logarithmic Number of Rounds.
260-268
- Joseph Y. Halpern:
A Little Knowledge Goes a Long Way: Simple Knowledge-based Derivations and Correctness Proofs for a Family of Protocols.
269-280
- Gil Neiger, Sam Toueg:
Substituting for Real Time and Common Knowledge in Asynchronous Distributed Systems.
281-293
- Edmund M. Clarke, Orna Grumberg:
Avoiding The State Explosion Problem in Temporal Logic Model Checking.
294-303
Copyright © Mon Mar 15 03:51:30 2010
by Michael Ley (ley@uni-trier.de)
