Modelling knowledge and action in distributed systems (1989)

by J Y Halpern, R Fagin
Venue:Distributed Computing