From Bisimulation to Traces: The Impact of Parallel Composition on Finite Bases. - Rowin Versteeg; Valentina Castiglioni; Bas Luttik (CONCUR, 2025)