Bisimilarity in term graph rewriting

We present a survey of confluence properties of (acyclic) term graph rewriting. Results and counterexamples are given for different kinds of term graph rewriting; besides plain applications of rewrite rules, extensions with the operations of collapsing and copying, and both operations together are considered. Collapsing and copying together constitute bisimilarity of term graphs. We establish sufficient conditions for-and counterexamples to-confluence, confluence module bisimilarity, and the Church-Rosser property module bisimilarity. Moreover, we address rewriting module bisimilarity, that is, rewriting of bisimilarity classes of term graphs. (C) 2000 Academic Press.