@MISC{Jacobs03tracesemantics, author = {Bart Jacobs}, title = {Trace Semantics for Coalgebras}, year = {2003}}
Traditionally, traces are the sequences of labels associated with paths in transition systems X # P(A X).