Abstract
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.
Get full access to this article
View all access options for this article.