6. PODC 1987: Vancouver, British Columbia, Canada

• 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
  

Last update Thu May 24 04:40:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page