84 citations · 484 across the 44 of their papers we have counts for
Showing 2000 · cs.DCShow all
3 papers · 2 filters
cs.DC2000
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…
cs.DC2000
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…
cs.DC2000
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…