Modelling Knowledge and Action in Distributed Systems (1988)

by Joseph Y. Halpern , Ronald Fagin
Venue:Distributed Computing
Citations:85 - 28 self