Observable clock synchronization
Danny Dolev, Rüdiger Reischuk, et al.
PODC 1994
The relationship between knowledge and action is a fundamental one: a processor in a computer network (or a robot or a person, for that matter) should base its actions on the knowledge (or information) it has. One of the main uses of communication is passing around information that may eventually be required by the receiver in order to decide upon subsequent actions. Understanding the relationship between knowledge, action, and communication is fundamental to the design of computer network protocols, intelligent robots, etc. By looking at a number of variants of the cheating husbands puzzle, we illustrate the subtle relationship between knowledge, communication, and action in a distributed environment. © 1986 Springer-Verlag.
Danny Dolev, Rüdiger Reischuk, et al.
PODC 1994
Joseph Y. Halpern, Gerhard Lakemeyer
Artificial Intelligence
Joseph Y. Halpern, Ronald Fagin
Distributed Computing
Danny Dolev, Joseph Y. Halpern, et al.
Journal of the ACM (JACM)