Modelling Knowledge and Action in Distributed Systems.

Joseph Y. Halpern, Ronald Fagin

Browse the full CONCUR paper archive.