Abstract is missing.
- A Hundred Impossibility Proofs for Distributed ComputingNancy A. Lynch. 1-28
- Equational Reasoning About Nondeterministic ProcessesJayadev Misra. 29-44
- Towards Dataflow Analysis of Communicating Finite State MachinesWuxu Peng, S. Purushothaman. 45-58
- The Intractability of Bounded Protocols for Non-FIFO ChannelsYishay Mansour, Baruch Schieber. 59-72
- Tight Bounds for the Sequence Transmission ProblemDa-Wei Wang, Lenore D. Zuck. 73-83
- Source to Destination Communication in the Presence of FaultsOded Goldreich, Amir Herzberg, Yishay Mansour. 85-101
- Knowledge, Probability, and AdversariesJoseph Y. Halpern, Mark R. Tuttle. 103-118
- A Categorical Approach to Distributed Systems Expressibility and KnowledgeRuben Michel. 129-143
- The Ambiguity of ChoosingJames E. Burns, Gary L. Peterson. 145-157
- Sticky Bits and Universality of ConsensusSerge A. Plotkin. 159-175
- Tight Bounds for Shared Memory Symmetric Mutual Exclusion ProblemsEugene Styer, Gary L. Peterson. 177-191
- Efficient Solution to the Distributed Mutual Exclusion ProblemDivyakant Agrawal, Amr El Abbadi. 193-200
- Non-Cryptographic Fault-Tolerant Computing in Constant Number of Rounds of InteractionJudit Bar-Ilan, Donald Beaver. 201-209
- Efficient Parallel Algorithms Can Be Made RobustParis C. Kanellakis, Alexander A. Shvartsman. 211-219
- Efficient Distributed Recovery Using Message LoggingA. Prasad Sistla, Jennifer L. Welch. 223-238
- A Structural Induction Theorem for ProcessesRobert P. Kurshan, Kenneth L. McMillan. 239-247
- Predicates are Predicate Transformers: A Unified Compositional Theory for ConcurrencyJob Zwiers, Willem P. de Roever. 265-279
- Bounded Polynomial Randomized ConsensusHagit Attiya, Danny Dolev, Nir Shavit. 281-293
- Modular Construction of Nearly Optimal Byzantine Agreement ProtocolsBrian A. Coan, Jennifer L. Welch. 295-305
- Shared-Memory vs. Message-Passing in an Asynchronous Distributed EnvironmentAmotz Bar-Noy, Danny Dolev. 307-318
- Calling Names in Nameless NetworksBaruch Schieber. 319-328
- Multiple Communication in Multi-Hop Radio NetworksReuven Bar-Yehuda, Amos Israeli. 329-338
- Fast Isolation of Arbitrary Forwarding FaultsAmir Herzberg, Shay Kutten. 339-353