Reasoning about Knowledge and Time in Asynchronous Systems

Joseph Y. Halpern, Moshe Y. Vardi

Browse the full STOC paper archive.