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
Alok Aggarwal
IEEE TC
Ashok K. Chandra, D.S. Hirschberg, et al.
Theoretical Computer Science
Alok Aggarwal, J.S. Chang, et al.
Visual Computer