Compositionality in Coalgebraic Trace Semantics.

Robin Jourde, Henning Urbat, Sergey Goncharov, Stelios Tsampas, Jonas Forster

Browse the full CONCUR paper archive.