Knowledge and common knowledge in a distributed environment (1984)

by Joseph Y Halpern, Yoram Moses
Venue:In Symposium on Principles of Distributed Computing