Using reasoning about knowledge to analyze distributed systems (1987)

by J Y Halpern
Venue:Annual Review of Computer Science