37 citations · 152 across the 17 of their papers we have counts for
6 papers · 1 filter
A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors
Joseph Y. Halpern, Aleta Ricciardi
It is shown that, in a precise sense, if there is no bound on the number of faulty processes in a system with unreliable but fair communication, Uniform Distributed Coordination (U…
Using Counterfactuals in Knowledge-Based Programming
Joseph Y. Halpern, Yoram Moses
This paper adds counterfactuals to the framework of knowledge-based programs of Fagin, Halpern, Moses, and Vardi. The use of counterfactuals is illustrated by designing a protocol…
Knowledge and common knowledge in a distributed environment
Joseph Y. Halpern, Yoram Moses
Reasoning about knowledge seems to play a fundamental role in distributed systems. Indeed, such reasoning is a central part of the informal intuitive arguments used in the design o…
Performing work efficiently in the presence of faults
Cynthia Dwork, Joseph Y. Halpern, O. Waarts
We consider a system of t synchronous processes that communicate only by sending messages to one another, and that together must perform independent units of work. Processes ma…
A note on knowledge-based programs and specifications
Joseph Y. Halpern
Knowledge-based program are programs with explicit tests for knowledge. They have been used successfully in a number of applications. Sanders has pointed out what seem to be a coun…
A decision-theoretic approach to reliable message delivery
Francis C. Chu, Joseph Y. Halpern
We argue that the tools of decision theory need to be taken more seriously in the specification and analysis of systems. We illustrate this by considering a simple problem involvin…