Abstract is missing.
- Epidemic Algorithms for Replicated Database MaintenanceAlan J. Demers, Daniel H. Greene, Carl Hauser, Wes Irish, John Larson, Scott Shenker, Howard E. Sturgis, Daniel C. Swinehart, Douglas B. Terry. 1-12 [doi]
- Update Propagation in Bakunin Data NetworksBoris Kogan, Hector Garcia-Molina. 13-26
- Quorum Consensus in Nested Transaction SystemsKenneth J. Goldman, Nancy A. Lynch. 27-41
- Shifting Gears: Changing Algorithms on the Fly To Expedite Byzantine AgreementAmotz Bar-Noy, Danny Dolev, Cynthia Dwork, H. Raymond Strong. 42-51
- Fault-Tolerant Decision Making in Totally Asynchronous Distributed Systems (Preliminary Version)Michael F. Bridgland, Ronald J. Watro. 52-63
- Asynchronous Approximate AgreementAlan David Fekete. 64-76
- An Optimal Synchronizer for the HypercubeDavid Peleg, Jeffrey D. Ullman. 77-85
- On Processor Coordination Using Asynchronous HardwareBenny Chor, Amos Israeli, Ming Li. 86-97
- On the Time-Complexity of Broadcast in Radio Networks: An Exponential Gap Between Determinism and RandomizationReuven Bar-Yehuda, Oded Goldreich, Alon Itai. 98-108
- Detecting Global Termination Conditions in the Face of UncertaintyYehuda Afek, Michael E. Saks. 109-124
- Detection of Stable Properties in Distributed ApplicationsJean-Michel Hélary, Claude Jard, Noël Plouzeau, Michel Raynal. 125-136
- Hierarchical Correctness Proofs for Distributed AlgorithmsNancy A. Lynch, Mark R. Tuttle. 137-151
- Modular Verification of Asynchronous NetworksBengt Jonsson. 152-166
- Specifying Graceful Degradation in Distributed SystemsMaurice Herlihy, Jeannette M. Wing. 167-177
- Interleaving Set Temporal Logic (Preliminary Version)Shmuel Katz, Doron Peled. 178-190
- Specifying Message Passing Systems Requires Extending Temporal LogicRon Koymans. 191-204
- A Hierarchy of Temporal Properties (Abstract)Zohar Manna, Amir Pnueli. 205
- The Elusive Atomic Register RevisitedAmbuj K. Singh, James H. Anderson, Mohamed G. Gouda. 206-221
- Constructing Multi-reader Atomic Values From Non-atomic ValuesJames E. Burns, Gary L. Peterson. 222-231
- A Protocol for Wait-Free, Atomic, Multi-Reader Shared VariablesRichard E. Newman-Wolfe. 232-248
- Constructing Two-Writer Atomic RegistersBard Bloom. 249-259
- Achieving Independence in Logarithmic Number of RoundsBenny Chor, Michael O. Rabin. 260-268
- Substituting for Real Time and Common Knowledge in Asynchronous Distributed SystemsGil Neiger, Sam Toueg. 281-293
- Avoiding The State Explosion Problem in Temporal Logic Model CheckingEdmund M. Clarke, Orna Grumberg. 294-303