The conflict-free reduction geometry
KhasidashviliZurab, GlauertJohn · Theoretical Computer Science · 2005
We investigate mutual dependencies of subexpressions of computable expressions in orthogonal rewrite systems, and identify conditions for their independent concurrent computation. To this end, we i...