On Three Alternative Characterizations of Combined Traces
Dai Le · Fundamenta Informaticae · 2011
The combined trace (i.e., comtrace) notion was introduced by Janicki and Koutny in 1995 as a generalization of the Mazurkiewicz trace notion. Comtraces are congruence classes of step sequences, where the congruence relation is defined from two relati