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