Conference paper
Reasoning about knowledge and time in asynchronous systems
Joseph Y. Halpern, Moshe Y. Vardi
STOC 1988
Conference paper
Virtual memory algorithms
Abstract
No abstract available.
Related
Alok Aggarwal
IEEE TC
Ashok K. Chandra, D.S. Hirschberg, et al.
Theoretical Computer Science
Alok Aggarwal, J.S. Chang, et al.
Visual Computer