Aceto, Luca, David de Frutos Escrig, and Anna Ingólfsdóttir. 2017. “Trace Simulation Semantics Is Not Finitely Based over BCCSP”. Acta Cybernetica 23 (1), 81-90. https://doi.org/10.14232/actacyb.23.1.2017.6.