Clock synchronization and the power of broadcasting
- Joseph Y. Halpern
- Ichiro Suzuki
- 1991
- Distributed Computing
Paper
Publications
85 results for Joseph Y. Halpern
Message-optimal protocols for byzantine agreement
- Vassos Hadzilacos
- Joseph Y. Halpern
- 1991
- PODC 1991
Conference paperA Propositional Modal Logic of Time Intervals
- Joseph Y. Halpern
- Yoav Shoham
- 1991
- Journal of the ACM
PaperA Model-Theoretic Analysis of Knowledge
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1991
- Journal of the ACM
PaperCharacterization of eventual Byzantine agreement
- Joseph Y. Halpern
- Yoram Moses
- et al.
- 1990
- PODC 1990
Conference paperWhat is an inference rule?
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1990
- Jerusalem Conference on Information Technology 1990
Conference paperTwo views of belief: Belief as generalized probability and belief as evidence
- Joseph Y. Halpern
- Ronald Fagin
- 1990
- AAAI 1990
Conference paperKnowledge and Common Knowledge in a Distributed Environment
- Joseph Y. Halpern
- Yoram Moses
- 1990
- Journal of the ACM
PaperCompleteness of Rewrite Rules and Rewrite Strategies for FP
- Joseph Y. Halpern
- John H. Williams
- et al.
- 1990
- Journal of the ACM
PaperA logic for reasoning about probabilities
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1990
- Information and Computation
Paper