TY  - JOUR
AU  - Aceto, Luca
AU  - Frutos Escrig, David De
AU  - Ingolfsdottir, Anna
PY  - 2017
DO  - 10.14232/actacyb.23.1.2017.6
SN  - 0324721X
UR  - https://hdl.handle.net/20.500.14352/17910
T2  - Acta Cybernetica
AB  - This note shows that the trace simulation preorder does not have a finite inequational basis over the language BCCSP. Indeed, no collection of sound inequations of bounded depth is ground-complete with respect to the trace simulation preorder over...
LA  - eng
M2  - 81
PB  - University of Szeged
KW  - Trace simulation preorder
KW  - Complete axiomatizations
KW  - BCCSP
TI  - Trace simulation semantics is not finitely based over BCCSP
TY  - journal article
VL  - 23
ER  -