Reasoning about Knowledge and Time in Asynchronous Systems

Reasoning about Knowledge and Time in Asynchronous Systems Joseph Y. Halpern Moshe Y. Vardi 53-65 conf/stoc/STOC20 1988 STOC db/conf/stoc/stoc88.html#HalpernV88