Reasoning about uncertainty in fault-tolerant distributed systems

Authors:
Michael J. Fischer;Lenore D. Zuck
Affiliations:
Yale Univ., New Haven, CT;Yale Univ., New Haven, CT
Venue:
Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Year:
1988

Tight bounds for the sequence transmission problem

Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
The wakeup problem

STOC '90 Proceedings of the twenty-second annual ACM symposium on Theory of computing
Knowledge in shared memory systems (preliminary version)

PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Probabilistic simulations for probabilistic processes

Nordic Journal of Computing
Robust Satisfaction

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Knowledge in shared memory systems

Distributed Computing

Hi-index	0.00