Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Computer networks
Communications Architecture for Distributed Systems
Communications Architecture for Distributed Systems
A hundred impossibility proofs for distributed computing
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
The intractability of bounded protocols for non-FIFO channels
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Tight bounds for the sequence transmission problem
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Source to destination communication in the presence of faults
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Fast isolation of arbitrary forwarding faults
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Tight bounds for weakly bounded protocols
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
The intractability of bounded protocols for on-line sequence transmission over non-FIFO channels
Journal of the ACM (JACM)
Reliable communication over unreliable channels
Journal of the ACM (JACM)
Recoverable sequence transmission protocols
Journal of the ACM (JACM)
On the complexity of computation in the presence of link failures: the case of a ring
Distributed Computing
Feasibility and complexity of broadcasting with random transmission failures
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing
Self-stabilization over unreliable communication media
Distributed Computing - Special issue: Self-stabilization
With Finite Memory Consensus Is Easier Than Reliable Broadcast
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
| Hi-index | 0.00 |