On Complexity Bounds and Confluence of Parallel Term Rewriting

Thaïs Baudon, Carsten Fuhs, Laure Gonnord

We revisit parallel-innermost term rewriting as a model of parallel computation on inductive data structures and provide a corresponding notion of runtime complexity parametric in…