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