Using reasoning about knowledge to analyze distributed systems (1987)

by J Y Halpern
Venue:In Annual Review of Computer Science