A Formal Model of Knowledge, Action, and Communication in Distributed Systems: Preliminary Report.

Joseph Y. Halpern, Ronald Fagin

Browse the full PODC paper archive.