Hierarchical correctness proofs for distributed algorithms
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Computer networks
A hundred impossibility proofs for distributed computing
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
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)
A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM
Communications Architecture for Distributed Systems
Communications Architecture for Distributed Systems
Reliable communication over unreliable channels
Journal of the ACM (JACM)
Crash failures can drive protocols to arbitrary states
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Crash Resilient Communication in Dynamic Networks
IEEE Transactions on Computers
Self-stabilizing sliding window ARQ protocols
IEEE/ACM Transactions on Networking (TON)
The complexity of crash failures
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
The fault span of crash failures
Journal of the ACM (JACM)
Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
Hundreds of impossibility results for distributed computing
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Feasibility and complexity of broadcasting with random transmission failures
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing
Header-size lower bounds for end-to-end communication in memoryless networks
Computer Networks: The International Journal of Computer and Telecommunications Networking - Web dynamics
Feasibility and complexity of broadcasting with random transmission failures
Theoretical Computer Science
Towards An Integration Of Message Sequence Charts And Timed Maude
Journal of Integrated Design & Process Science
Formal proof of impossibility of reliability in crashing protocols
IWDC'04 Proceedings of the 6th international conference on Distributed Computing
Tuple switching network-When slower may be better
Journal of Parallel and Distributed Computing
| Hi-index | 0.01 |