default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th PODC 1990: Quebec City, Quebec, Canada
- Cynthia Dwork:
Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, Quebec City, Quebec, Canada, August 22-24, 1990. ACM 1990, ISBN 0-89791-404-X - Yehuda Afek, Danny Dolev, Hagit Attiya, Eli Gafni, Michael Merritt, Nir Shavit:
Atomic Snapshots of Shared Memory. 1-13 - James H. Anderson:
Composite Registers. 15-29 - Carol Critchlow, Kim Taylor:
The Inhibition Spectrum and the Achievement of Causal Consistency. 31-42 - Rivka Ladin, Barbara Liskov, Liuba Shrira:
Lazy Replication: Exploiting the Semantics of Distributed Services. 43-57 - Alon Kleinman, Yoram Moses, Ehud Shapiro:
Distributed Variable Server for Atomic Unification. 59-74 - David Jefferson:
Virtual Time II: Storage Management in Conservative and Optimistic Systems. 75-89 - Shmuel Katz, Kenneth J. Perry:
Self-Stabilizing Extensions for Message-Passing Systems. 91-101 - Shlomi Dolev
, Amos Israeli, Shlomo Moran:
Self-Stabilization of Dynamic Systems Assuming only Read/Write Atomicity. 103-117 - Amos Israeli, Marc Jalfon:
Token Management Schemes and Random Walks Yield Self-Stabilizing Mutual Exclusion. 119-131 - Frank B. Schmuck, Flaviu Cristian:
Continuous Clock Amortization Need Not Affect the Precision of a Clock Synchronization Algorithm. 133-143 - Baruch Awerbuch, Israel Cidon, Inder S. Gopal, Marc A. Kaplan, Shay Kutten:
Distributed Control for PARIS. 145-159 - Yoram Ofek, Moti Yung:
Principle for High Speed Network Control: Congestion- and Deadlock-Freeness, Self-Routing, and a Single Buffer per Link. 161-175 - Baruch Awerbuch, Alan E. Baratz, David Peleg:
Cost-Sensitive Analysis of Communication Protocols. 177-187 - Baruch Awerbuch, Oded Goldreich, Amir Herzberg:
A Quantitative Approach to Dynamic Networks. 189-203 - Ewan D. Tempero, Richard E. Ladner:
Tight Bounds for Weakly Bounded Protocols. 205-218 - Alon Orlitsky:
Two Messages are Almost Optimal for Conveying Information. 219-232 - E. Allen Emerson, Jai Srinivasan:
A Decidable Temporal Logic to Reason About Many Processes. 233-246 - Josyula R. Rao:
Reasoning About Probabilistic Algorithms. 247-264 - Nancy A. Lynch, Hagit Attiya:
Using Mappings to Prove Timing Properties. 265-280 - Thomas A. Henzinger:
Half-Order Modal Logic: How to Prove Real-Time Properties. 281-296 - Ajei S. Gopal, H. Raymond Strong, Sam Toueg, Flaviu Cristian:
Early-Delivery Atomic Broadcast. 297-309 - Soma Chaudhuri:
Agreement is Harder than Consensus: Set Consensus Problems in Totally Asynchronous Systems. 311-324 - James Aspnes:
Time- and Space-Efficient Randomized Consensus. 325-331 - Joseph Y. Halpern, Yoram Moses, Orli Waarts:
A Characterization of Eventual Byzantine Agreement. 333-346 - Maurice Herlihy, Mark R. Tuttle:
Lower Bounds for Wait-Free Computation in Message-Passing Systems. 347-362 - Hagit Attiya, Amotz Bar-Noy, Danny Dolev:
Sharing Memory Robustly in Message-Passing Systems. 363-375
Invited Paper, PODC 1989
- Zohar Manna, Amir Pnueli:
A Hierarchy of Temporal Properties. 377-410
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 2024-09-23 23:32 CEST 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:
