Trace Simulation Semantics is not Finitely Based over BCCSP | Publicación