Infinite Product of Traces Represented by Projections
Roman R. Redziejowski · Fundamenta Informaticae · 2010
The construction of an associative ω-product of traces from an earlier paper is revisited using projection representation of traces. Using projections instead of trace prefixes results in very simple definitions and proofs.