default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th PODC 1987: Vancouver, British Columbia, Canada
- Fred B. Schneider:
Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, August 10-12, 1987. ACM 1987, ISBN 0-89791-239-X - 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 A. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
