8. PODC 1989:
Edmonton, Alberta, Canada
Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing,
August 14-16, 1989, Edmonton, Alberta, Canada. ACM
- Nancy A. Lynch:
A Hundred Impossibility Proofs for Distributed Computing.
1-28 BibTeX
- Jayadev Misra:
Equational Reasoning About Nondeterministic Processes.
29-44 BibTeX
- Wuxu Peng, S. Purushothaman:
Towards Dataflow Analysis of Communicating Finite State Machines.
45-58 BibTeX
- Yishay Mansour, Baruch Schieber:
The Intractability of Bounded Protocols for Non-FIFO Channels.
59-72 BibTeX
- Da-Wei Wang, Lenore D. Zuck:
Tight Bounds for the Sequence Transmission Problem.
73-83 BibTeX
- Oded Goldreich, Amir Herzberg, Yishay Mansour:
Source to Destination Communication in the Presence of Faults.
85-101 BibTeX
- Joseph Y. Halpern, Mark R. Tuttle:
Knowledge, Probability, and Adversaries.
103-118 BibTeX
- Yoram Moses, Gil Roth:
On Reliable Message Diffusion.
119-127 BibTeX
- Ruben Michel:
A Categorical Approach to Distributed Systems Expressibility and Knowledge.
129-143 BibTeX
- James E. Burns, Gary L. Peterson:
The Ambiguity of Choosing.
145-157 BibTeX
- Serge A. Plotkin:
Sticky Bits and Universality of Consensus.
159-175 BibTeX
- Eugene Styer, Gary L. Peterson:
Tight Bounds for Shared Memory Symmetric Mutual Exclusion Problems.
177-191 BibTeX
- Divyakant Agrawal, Amr El Abbadi:
Efficient Solution to the Distributed Mutual Exclusion Problem.
193-200 BibTeX
- Judit Bar-Ilan, Donald Beaver:
Non-Cryptographic Fault-Tolerant Computing in Constant Number of Rounds of Interaction.
201-209 BibTeX
- Paris C. Kanellakis, Alexander A. Shvartsman:
Efficient Parallel Algorithms Can Be Made Robust.
211-219 BibTeX
- A. Prasad Sistla, Jennifer L. Welch:
Efficient Distributed Recovery Using Message Logging.
223-238 BibTeX
- Robert P. Kurshan, Kenneth L. McMillan:
A Structural Induction Theorem for Processes.
239-247 BibTeX
- Charanjit S. Jutla, Edgar Knapp, Josyula R. Rao:
A Predicate Transformer Approach to Semantics of Parallel Programs.
249-263 BibTeX
- Job Zwiers, Willem P. de Roever:
Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency.
265-279 BibTeX
- Hagit Attiya, Danny Dolev, Nir Shavit:
Bounded Polynomial Randomized Consensus.
281-293 BibTeX
- Brian A. Coan, Jennifer L. Welch:
Modular Construction of Nearly Optimal Byzantine Agreement Protocols.
295-305 BibTeX
- Amotz Bar-Noy, Danny Dolev:
Shared-Memory vs. Message-Passing in an Asynchronous Distributed Environment.
307-318 BibTeX
- Baruch Schieber:
Calling Names in Nameless Networks.
319-328 BibTeX
- Reuven Bar-Yehuda, Amos Israeli:
Multiple Communication in Multi-Hop Radio Networks.
329-338 BibTeX
- Amir Herzberg, Shay Kutten:
Fast Isolation of Arbitrary Forwarding Faults.
339-353 BibTeX
Copyright © Sat May 16 23:33:35 2009
by Michael Ley (ley@uni-trier.de)
