A coalgebraic view on decorated traces (Q2973240)

From MaRDI portal