David Harel
David Harel.
Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness.
Journal of the ACM
, 33(1):224-248, January 1986.
Citations.
Doron Drusinsky and David Harel.
On the power of bounded concurrency I: Finite automata.
Journal of the ACM
, 41(3):517-539, May 1994.
References and Citations.
Tirza Hirst and David Harel.
On the power of bounded concurrency II: Pushdown automata.
Journal of the ACM
, 41(3):540-554, May 1994.
References and Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database