Robin Jourde, Henning Urbat, Sergey Goncharov 0001, Stelios Tsampas 0001, Jonas Forster. Compositionality in Coalgebraic Trace Semantics. In Ana Sokolova, Patrick Totzke, editors, 37th International Conference on Concurrency Theory, CONCUR 2026, Liverpool, UK, September 1-4, 2026. Volume 391 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
Abstract is missing.