Ashok Chandra, David Harel
Journal of Computer and System Sciences
No abstract available.
Ashok Chandra, David Harel
Journal of Computer and System Sciences
Assaf Marron, Lior Limonad, et al.
SEAMS 2020
Ashok K. Chandra, David Harel
STOC 1979
David Harel
Information Processing Letters