Computing the average parallelism in trace monoids

What this record says

The {\em height} of a trace is the height of the corresponding heap of pieces in Viennot's representation, or equivalently

CATALOG · The abstract is indexed.