Modeling knowledge and action in distributed systems (1989)

by Joseph Y Halpern, Ronald Fagin
Venue:Distributed Computing