Trace Simulation Semantics is not Finitely Based over BCCSP

Luca Aceto, David de Frutos-Escrig, Anna Ingólfsdóttir. Trace Simulation Semantics is not Finitely Based over BCCSP. Acta Cybern., 23(1):81-90, 2017. [doi]

Abstract

Abstract is missing.