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]
@article{AcetoFI17,
title = {Trace Simulation Semantics is not Finitely Based over BCCSP},
author = {Luca Aceto and David de Frutos-Escrig and Anna Ingólfsdóttir},
year = {2017},
doi = {10.14232/actacyb.23.1.2017.6},
url = {https://doi.org/10.14232/actacyb.23.1.2017.6},
researchr = {https://researchr.org/publication/AcetoFI17},
cites = {0},
citedby = {0},
journal = {Acta Cybern.},
volume = {23},
number = {1},
pages = {81-90},
}