PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Reasoning about uncertainty in fault-tolerant distributed systems
Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Data link layer: two impossibility results
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM
Knowledge and common knowledge in a distributed environment
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
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
Source to destination communication in the presence of 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
Real-time sequence transmission problem
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Knowledge in shared memory systems (preliminary version)
PODC '91 Proceedings of the tenth 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)
The impossibility of implementing reliable communication in the face of crashes
Journal of the ACM (JACM)
Reliable communication over unreliable channels
Journal of the ACM (JACM)
Recoverable sequence transmission protocols
Journal of the ACM (JACM)
Crash Resilient Communication in Dynamic Networks
IEEE Transactions on Computers
The complexity of end-to-end communication in memoryless networks
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Tolerating transient and intermittent failures
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
Short Headers Suffice for Communication in a DAG with Link Failures
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
Hundreds of impossibility results for distributed computing
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Knowledge in shared memory systems
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
Single-bit messages are insufficient for data link over duplicating channels
Information Processing Letters
Verification and improvement of the sliding window protocol
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Single-Bit messages are insufficient in the presence of duplication
IWDC'05 Proceedings of the 7th international conference on Distributed Computing
Causing communication closure: safe program composition with Non-FIFO channels
DISC'05 Proceedings of the 19th international conference on Distributed Computing
Hi-index | 0.00 |