Conference paper
Reasoning about knowledge and time in asynchronous systems
Joseph Y. Halpern, Moshe Y. Vardi
STOC 1988
Joseph Y. Halpern, Moshe Y. Vardi
STOC 1988
Moshe Y. Vardi
Information Processing Letters
Joseph Y. Halpern, Moshe Y. Vardi
Journal of Computer and System Sciences
Georg Lausen, Eljas Soisalon-Soininen, et al.
SIGMOD/PODS 1984