Abstract is missing.
- Practical Uses of Synchronized Clocks in Distributed SystemsBarbara Liskov. 1-9
- Randomized Wait-Free Concurrent Objects (Extended Abstract)Maurice Herlihy. 11-21
- Efficient Parallel Algorithms on Restartable Fail-Stop ProcessorsParis C. Kanellakis, Alexander A. Shvartsman. 23-36
- Resiliency of Interactive Distributed Tasks (Extended Abstract)Benny Chor, Lee-Bath Nelson. 37-49
- How to Withstand Mobile Virus Attacks (Extended Abstract)Rafail Ostrovsky, Moti Yung. 51-59
- On the Value of Information in Distributed Decision-Making (Extended Abstract)Christos H. Papadimitriou, Mihalis Yannakakis. 61-64
- Optimal Space Distributed Move-to-Front ListsMichael E. Saks, Fotios Zaharoglou. 65-73
- Optimal CoteriesChristos H. Papadimitriou, Martha Sideri. 75-80
- A Theory of Relaxed Atomicity (Extended Abstract)Eliezer Levy, Henry F. Korth, Abraham Silberschatz. 95-109
- Real-Time Sequence Transmission ProblemDa-Wei Wang, Lenore D. Zuck. 111-123
- Consensus in the Presence of Timing Uncertainty: Omission and Byzantine Failures (Extended Abstract)Stephen Ponzio. 125-138
- The Benefits of Relaxing PunctualityRajeev Alur, Tomás Feder, Thomas A. Henzinger. 139-152
- Broadcast with Partial Knowledge (Preliminary Version)Baruch Awerbuch, Israel Cidon, Shay Kutten, Yishay Mansour, David Peleg. 153-163
- Greedy Packet Scheduling on Shortest Paths (Preliminary Version)Yishay Mansour, Boaz Patt-Shamir. 165-175
- Efficient Deadlock-Free RoutingBaruch Awerbuch, Shay Kutten, David Peleg. 177-188
- Knowledge in Shared Memory Systems (Preliminary Version)Michael Merritt, Gadi Taubenfeld. 189-200
- A Semantics for a Logic of Authentication (Extended Abstract)Martín Abadi, Mark R. Tuttle. 201-216
- A Predicate Transformer Approach to Knowledge and Knowledge-Based Protocols (Extended Abstract)Beverly A. Sanders. 217-230
- Exploiting Locality in Maintaining Potential CausalitySigurd Meldal, Sriram Sankar, James Vera. 231-239
- Replay, Recovery, Replication, and Snapshots of Nondeterministic Concurrent ProgramsHaim Gaifman, Michael J. Maher, Ehud Y. Shapiro. 241-255
- Inconsistency and Contamination (Preliminary Version)Ajei S. Gopal, Sam Toueg. 257-272
- On a Random Walk Problem Arising in Self-Stabilizing Token ManagementPrasad Tetali, Peter Winkler. 273-280
- Resource Bounds for Self Stabilizing Message Driven ProtocolsShlomi Dolev, Amos Israeli, Shlomo Moran. 281-293
- Bootstrap Network Resynchronization (Extended Abstract)Yehuda Afek, Eli Gafni. 295-307
- Message-Optimal Protocols for Byzantine Agreement (Extended Abstract)Vassos Hadzilacos, Joseph Y. Halpern. 309-323
- Unreliable Failure Detectors for Asynchronous Systems (Preliminary Version)Tushar Deepak Chandra, Sam Toueg. 325-340
- Using Process Groups to Implement Failure Detection in Asynchronous EnvironmentsAleta Ricciardi, Kenneth P. Birman. 341-353