Compositionality in Coalgebraic Trace Semantics. - Robin Jourde; Henning Urbat; Sergey Goncharov 001; Stelios Tsampas 001; Jonas Forster (CoRR, 2026)